Code

Siemens fix260#279

Code

Closed

lucasccordeiro wants to merge 18 commits intodiffblue:masterdiffblue/cbmc:masterfrom

lucasccordeiro:siemens_fix260lucasccordeiro/cbmc:siemens_fix260Copy head branch name to clipboard

Commits

Commits on Oct 26, 2016

• add test case to check the full-slice option

  Show description for 5ac8237
  lucasccordeiro

  committed
  5ac8237

  Copy full SHA for 5ac8237

• remove virtual functions, function pointers, and returns before building the dependence graph

  Show description for 98b1145
  lucasccordeiro

  committed
  98b1145

  Copy full SHA for 98b1145

• added ignore for input in value_set_fit::apply_code

  Show description for 8cf8380
  lucasccordeiro

  committed
  8cf8380

  Copy full SHA for 8cf8380

Commits on Oct 27, 2016

• fix test case slice01

  Show description for 648d88f
  lucasccordeiro

  committed
  648d88f

  Copy full SHA for 648d88f

• add test case slice02 to test --full-slice

  Show description for 3b03c12
  lucasccordeiro

  committed
  3b03c12

  Copy full SHA for 3b03c12

• add test case slice03 to test --full-slice

  Show description for fd7bec8
  lucasccordeiro

  committed
  fd7bec8

  Copy full SHA for fd7bec8

• add test case slice04 to test --full-slice

  Show description for f594a8e
  lucasccordeiro

  committed
  f594a8e

  Copy full SHA for f594a8e

• add test case slice05 to test --full-slice

  Show description for b9486f9
  lucasccordeiro

  committed
  b9486f9

  Copy full SHA for b9486f9

• add test case slice06 to test --full-slice

  Show description for de13fb9
  lucasccordeiro

  committed
  de13fb9

  Copy full SHA for de13fb9

• ensure that --full-slice is not applied to C/Pthreads

  Show description for 3df7145
  lucasccordeiro

  committed
  3df7145

  Copy full SHA for 3df7145

• add test case slice07 to test --full-slice

  Show description for 69fef88
  lucasccordeiro

  committed
  69fef88

  Copy full SHA for 69fef88

Commits on Oct 28, 2016

• add test case provided by Martin Brain

  Show description for f7ecc11
  lucasccordeiro

  committed
  f7ecc11

  Copy full SHA for f7ecc11

• add test case slice 09

  Show description for 8fe2b3c
  lucasccordeiro

  committed
  8fe2b3c

  Copy full SHA for 8fe2b3c

• add test case slice 10

  Show description for f60fdef
  lucasccordeiro

  committed
  f60fdef

  Copy full SHA for f60fdef

• update test cases

  Show description for a4a1612
  lucasccordeiro

  committed
  a4a1612

  Copy full SHA for a4a1612

• do not remove assignments related to __CPROVER_initialize

  Show description for 8b5150a
  lucasccordeiro

  committed
  8b5150a

  Copy full SHA for 8b5150a

• add test case slice11/

  Show description for 18e29f1
  lucasccordeiro

  committed
  18e29f1

  Copy full SHA for 18e29f1

• refactor the code

  Show description for 0f64610
  lucasccordeiro

  committed
  0f64610

  Copy full SHA for 0f64610