Bug #5330
bug in cafe.c related to cprover framework
Start date:
20/06/2017
Due date:
% Done:
0%
Estimated time:
Description
hifrog: goto_symex_state.cpp:639: void goto_symex_statet::rename(exprt&, const namespacet&, goto_symex_statet::levelt): Assertion `to_if_expr(expr).true_case().type()== to_if_expr(expr).false_case().type()' failed.
Command terminated by signal 6
~/hifrog/trunk/cprover/src/funfrog/hifrog --claim 4 --theoref --no-itp --unwind 10 --bitwidth 32 --heuristic 4 cafe.c
History
#1 Updated by Karine Even Mendoza over 6 years ago
- Priority changed from Normal to Low
Re-check after cprover framework upgrade.
#2 Updated by Karine Even Mendoza over 6 years ago
- Assignee set to Karine Even Mendoza