1 file changed
+1
-1
lines changed- CHANGELOG+62
- regression/cbmc/Quantifiers-statement-expression/main.c+13
- regression/cbmc/Quantifiers-statement-expression/test.desc+8
- regression/cbmc/Quantifiers-statement-expression2/main.c+16
- regression/cbmc/Quantifiers-statement-expression2/test.desc+11
- regression/cbmc/Quantifiers1/quantifier-with-function-call.c+14
- regression/cbmc/Quantifiers1/quantifier-with-function-call.desc+8
- regression/cbmc/Quantifiers1/quantifier-with-side-effect.c+2-6
- regression/cbmc/Quantifiers1/quantifier-with-side-effect.desc+3-3
- regression/contracts-dfcc/quantifiers-exists-both-enforce/with_statement_expression.c+20
- regression/contracts-dfcc/quantifiers-exists-both-enforce/with_statement_expression.desc+16
- regression/contracts-dfcc/quantifiers-exists-both-replace/with_statement_expression.c+42
- regression/contracts-dfcc/quantifiers-exists-both-replace/with_statement_expression.desc+16
- regression/validate-trace-xml-schema/check.py+2-1
- src/ansi-c/c_typecheck_expr.cpp+8-2
- src/ansi-c/goto-conversion/goto_clean_expr.cpp+260-2
- src/ansi-c/goto-conversion/module_dependencies.txt+1
- src/config.inc+1-1
- src/libcprover-rust/Cargo.toml+1-1
0 commit comments