Code

Feature/document return codes#1530

Code

Merged

kroening merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

martin-cs:feature/document-return-codesmartin-cs/cbmc:feature/document-return-codesCopy head branch name to clipboard

Oct 27, 2017

Commits

Commits on Oct 26, 2017

• Named, possibly even descriptive macros for the exit codes that are used.

  

  martin

  committed
  e74b442

  Copy full SHA for e74b442

• Replace literal constants in returns / exits with their symbolic names.

  Show description for 961d33a
  

  martin

  committed
  961d33a

  Copy full SHA for 961d33a

• Replace constants exit codes with meaningfully named macros.

  Show description for c8dfd48
  

  martin

  committed
  c8dfd48

  Copy full SHA for c8dfd48

• Minor changes to erronious exit behaviour.

  Show description for cf96cef
  

  martin

  committed
  cf96cef

  Copy full SHA for cf96cef

• Change a few erronious return codes so that they are more internally consistent.

  

  martin

  committed
  2df2abb

  Copy full SHA for 2df2abb