Code

Enum range check#4972

Code

Merged

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

angelhof:enum-range-checkangelhof/cbmc:enum-range-checkCopy head branch name to clipboard

Aug 9, 2019

Commits

Commits on Aug 2, 2019

• Fix the parsing of enums and enum constants

  angelhof

  committed
  72aafbe

  Copy full SHA for 72aafbe

Commits on Aug 7, 2019

• Add an enum-in-range check.

  Show description for 85b90f3
  angelhof

  committed
  85b90f3

  Copy full SHA for 85b90f3

Commits on Aug 9, 2019

• Add a disable option for enum-range-check

  angelhof

  committed
  933eb5e

  Copy full SHA for 933eb5e