Code

Well formedness checking goto#3188

Code

Merged

xbauch merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

xbauch:well-formedness-checking-gotoxbauch/cbmc:well-formedness-checking-gotoCopy head branch name to clipboard

Dec 4, 2018

Commits

Commits on Dec 4, 2018

• Well-formedness check for decl and dead instructions

  Show description for 5aa708a
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  5aa708a

  Copy full SHA for 5aa708a

• Well-formedness check for assume and assert instructions

  Show description for 909f897
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  909f897

  Copy full SHA for 909f897

• Well-formedness check for function calls and returns

  Show description for c742e85
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  c742e85

  Copy full SHA for c742e85

• Well-formedness check for goto instructions

  Show description for 2c9a5c3
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  2c9a5c3

  Copy full SHA for 2c9a5c3