Code

C++ bool is at least one byte wide#3184

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cpp_booltautschnig/cbmc:cpp_boolCopy head branch name to clipboard

Oct 29, 2018

Commits

Commits on Oct 29, 2018

• C++ bool is at least one byte wide

  Show description for fd39953
  tautschnig

  committed
  fd39953

  Copy full SHA for fd39953