Project

General

Profile

Bug #7280

crash in solver in VTT (3)

Added by Sepideh Asadi 12 months ago.

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

Also available in: Atom PDF