Code

Support ID_C_bool in exprt::is_zero#815

Code

Merged

forejtv merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

smowton:smowton/fix/c_bool_is_zerosmowton/cbmc:smowton/fix/c_bool_is_zeroCopy head branch name to clipboard

Apr 12, 2017

Commits

Commits on Apr 12, 2017

• Support ID_C_bool in exprt::is_zero

  smowton

  committed
  5c289b1

  Copy full SHA for 5c289b1