Code

Goto programs validation#3191

Code

Merged

tautschnig merged 13 commits intodiffblue:developdiffblue/cbmc:developfrom

sonodtt:goto_programs-validationsonodtt/cbmc:goto_programs-validationCopy head branch name to clipboard

Mar 4, 2019

Commits

Commits on Feb 27, 2019

• Validation checks for Goto Programs

  Show description for 5fddbcd
  

  Sonny Martin

  committed
  5fddbcd

  Copy full SHA for 5fddbcd

• Use unnamed namespace for validate_goto_modelt

  Show description for 8bd353c
  

  Sonny Martin

  committed
  8bd353c

  Copy full SHA for 8bd353c

• Add additional 'vm' argument to DATA_CHECK

  

  Sonny Martin

  committed
  2ec4b83

  Copy full SHA for 2ec4b83

• Improved function call check

  

  Sonny Martin

  committed
  4cd976f

  Copy full SHA for 4cd976f

• Use catch exception macros

  

  Sonny Martin

  committed
  a3b5513

  Copy full SHA for a3b5513

• Add boolean constructor to options structure

  

  Sonny Martin

  committed
  6cc09c9

  Copy full SHA for 6cc09c9

• Add options structure to unit tests

  

  Sonny Martin

  committed
  ca11166

  Copy full SHA for ca11166

• Adjustments for new location of program checks

  

  Sonny Martin

  committed
  ab3cb60

  Copy full SHA for ab3cb60

• Rebase and address review comments

  

  Sonny Martin

  committed
  1fb1129

  Copy full SHA for 1fb1129

Commits on Mar 1, 2019

• Address review comments - Kroening

  Show description for 971c788
  

  Sonny Martin

  committed
  971c788

  Copy full SHA for 971c788

• Address review comments - Kroening

  Show description for b5b1f64
  

  Sonny Martin

  committed
  b5b1f64

  Copy full SHA for b5b1f64

• Remove extraneous goto-program checks in unit tests.

  Show description for a1de5dc
  

  Sonny Martin

  committed
  a1de5dc

  Copy full SHA for a1de5dc

• Reorder unit test headers for consistency.

  

  Sonny Martin

  committed
  6ba2cf4

  Copy full SHA for 6ba2cf4