Code

SMT2 back-end: parse c_bool values#7400

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/7308-c_booltautschnig/cbmc:bugfixes/7308-c_boolCopy head branch name to clipboard

Nov 30, 2022

Commits

Commits on Nov 29, 2022

• SMT2 back-end: parse c_bool values

  Show description for 70e4573
  tautschnig

  committed
  70e4573

  Copy full SHA for 70e4573