Bug #7280
crash in solver in VTT (3)
Status:
New
Priority:
Normal
Assignee:
-
Start date:
07/05/2018
Due date:
% Done:
0%
Estimated time:
Description
File is: /cprover/regression/funfrog/P2P_Joints_TG3_rec_1.c
Verification not successful; here is the last few lines: ...
- INLINING function: simpleDiv
- INLINING function: sqrt_
Processing a deferred function: fabs_
Processing a deferred function: fabs_
Processing a deferred function: getNum
Processing a deferred function: simpleDiv
Processing a deferred function: sqrt_
Processing a deferred function: getNum
Processing a deferred function: simpleDiv
Processing a deferred function: sqrt_
SYMEX TIME: 0.348
All SSA steps: 16542
Ignored SSA steps after slice: 2925
SLICER TIME: 0.077
Incrementally adding partitions to the SMT solver
; uf_solver query time so far: 0.000029
Command terminated by signal 6
real 162.77