Code

Cprover enum is in range#5808

Code

Merged

TGWDB merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

TGWDB:CPROVER-enum-is-in-rangeTGWDB/cbmc:CPROVER-enum-is-in-rangeCopy head branch name to clipboard

Feb 17, 2021

Commits

Commits on Feb 17, 2021

• Implement enum_is_in_range builtin function

  Show description for a0f1236
  TGWDB

  committed
  a0f1236

  Copy full SHA for a0f1236

• Add regression tests for enum_is_in_range

  Show description for de02783
  TGWDB

  committed
  de02783

  Copy full SHA for de02783

• Add documentation for CPROVER_enum_is_in_range

  Show description for baab734
  TGWDB

  committed
  baab734

  Copy full SHA for baab734