Code

added test for undeclared functions#4212

Code

Merged

tautschnig merged 2 commits intodevelopdiffblue/cbmc:developfrom

undeclared_functiondiffblue/cbmc:undeclared_functionCopy head branch name to clipboard

Feb 21, 2019

Commits

Commits on Feb 17, 2019

• add --validate-goto-model to goto-cc

  Show description for 22ba1eb
  

  Daniel Kroening

  committed
  22ba1eb

  Copy full SHA for 22ba1eb

• added test for undeclared functions

  Show description for 7b72db5
  

  Daniel Kroening

  committed
  7b72db5

  Copy full SHA for 7b72db5