Code

SMT2 type checking for define-fun#3421

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

smt2-fapp-type-checkingdiffblue/cbmc:smt2-fapp-type-checkingCopy head branch name to clipboard

Nov 18, 2018

Commits

Commits on Nov 18, 2018

• pretty formatting of SMT2 types in error messages

  

  Daniel Kroening

  committed
  457e405

  Copy full SHA for 457e405

• smt2 parser: check type of body of function definition

  

  Daniel Kroening

  committed
  be0c338

  Copy full SHA for be0c338