inconsistency with CBMC is s3.c
HiFRog: s3.c --theoref --bitwidth 32 --claim 29 SAT 1.48
CBMC: s3.c.c --claim 29 UNSAT 6.1
--claim 131 s3.c
- Priority changed from Normal to High
1. Add new supports for more operators in OpenSMT side (so we can BB these), as well as in HiFrog side.
2. New Heuristics that do not need all operators to find SAT results.
- Status changed from New to Feedback
- Assignee set to Antti Hyvärinen
- Priority changed from High to Normal
Classic one, just waiting for us to improve/add new support :-)
Also available in: Atom