Skip to content

Evaluating sizeof over __CPROVER_bool requires special cases#3183

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:cprover_bool-sizeof
Oct 29, 2018

Commits

Commits on Oct 29, 2018