Actions
Bug #7805
openUFInterpolator.C
Start date:
29/08/2018
Due date:
% Done:
0%
Estimated time:
Description
File: sumth60.c (attached)
How to run:
--logic qfuf --claim 2
Error message:
RESULT: UNSAT - it holds!
Start generating interpolants...
Assertion failed: (!sorted_edges.empty( ) || tmp.back( )->target == x), function getSortedEdges, file /Users/sepidehasadi/2phd/dev/opensmt2/src/tsolvers/egraph/UFInterpolator.C, line 2451.
Files
Updated by Sepideh Asadi over 6 years ago
Actions