Project

General

Profile

Actions
Copy link

Bug #5330

open

bug in cafe.c related to cprover framework

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

Status:
New
Priority:
Low
Assignee:
Karine Even Mendoza
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

Actions
Copy link
 #1

Updated by Karine Even Mendoza over 7 years ago

  • Priority changed from Normal to Low

Re-check after cprover framework upgrade.

Actions
Copy link
 #2

Updated by Karine Even Mendoza over 7 years ago

  • Assignee set to Karine Even Mendoza
Actions
Copy link

Also available in: Atom PDF