Code

Siemens fix258#271

Code

Closed

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

lucasccordeiro:siemens_fix258lucasccordeiro/cbmc:siemens_fix258Copy head branch name to clipboard

Commits

Commits on Oct 26, 2016

• add test case mcdc8 to test MC/DC coverage instrumentation

  Show description for a14f4a3
  lucasccordeiro

  committed
  a14f4a3

  Copy full SHA for a14f4a3

• add test case mcdc9 to test MC/DC coverage instrumentation

  Show description for 977ea02
  lucasccordeiro

  committed
  977ea02

  Copy full SHA for 977ea02

• update test case mcdc9

  Show description for 3bffc8e
  lucasccordeiro

  committed
  3bffc8e

  Copy full SHA for 3bffc8e

• update test case mcdc10

  Show description for 87adf3b
  lucasccordeiro

  committed
  87adf3b

  Copy full SHA for 87adf3b

• add test case mcdc11

  Show description for 01830b5
  lucasccordeiro

  committed
  01830b5

  Copy full SHA for 01830b5

• add test case mcdc12

  Show description for 454a38a
  lucasccordeiro

  committed
  454a38a

  Copy full SHA for 454a38a

Commits on Oct 27, 2016

• add test case mcdc13 to test AND gate

  Show description for 06c0d37
  lucasccordeiro

  committed
  06c0d37

  Copy full SHA for 06c0d37

• add test case mcdc14 to test OR gate

  Show description for 5a19b12
  lucasccordeiro

  committed
  5a19b12

  Copy full SHA for 5a19b12

• fix test desc of mcdc8

  Show description for f239e0a
  lucasccordeiro

  committed
  f239e0a

  Copy full SHA for f239e0a

• fix test desc of mcdc9

  Show description for 9f1f0d9
  lucasccordeiro

  committed
  9f1f0d9

  Copy full SHA for 9f1f0d9

• fix test desc of mcdc10

  Show description for 922ddc6
  lucasccordeiro

  committed
  922ddc6

  Copy full SHA for 922ddc6

• fix test desc of mcdc11

  Show description for 47273c3
  lucasccordeiro

  committed
  47273c3

  Copy full SHA for 47273c3

• fix test desc of mcdc12

  Show description for fc8a218
  lucasccordeiro

  committed
  fc8a218

  Copy full SHA for fc8a218

• fix test desc of mcdc13

  Show description for 91642a9
  lucasccordeiro

  committed
  91642a9

  Copy full SHA for 91642a9

• fix test case mcdc14

  Show description for 7421019
  lucasccordeiro

  committed
  7421019

  Copy full SHA for 7421019