Project

General

Profile

Bug #5330

bug in cafe.c related to cprover framework

Added by Sepideh Asadi over 2 years ago. Updated over 2 years ago.

Status:
New
Priority:
Low
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 2 years ago

  • Priority changed from Normal to Low

Re-check after cprover framework upgrade.

#2 Updated by Karine Even Mendoza over 2 years ago

  • Assignee set to Karine Even Mendoza

Also available in: Atom PDF