User Tools

Site Tools


sv-comp_2015_floats

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sv-comp_2015_floats [2015/01/14 11:41]
mbrain
sv-comp_2015_floats [2015/01/14 11:44] (current)
mbrain
Line 123: Line 123:
 ==== floats-cdfpl/​sine_4_true-unreach-call.i ==== ==== floats-cdfpl/​sine_4_true-unreach-call.i ====
  
-error+Error : probably time-out on the first unwinding.
  
 ==== float-benchs/​sin_interpolated_bigrange_loose_true-unreach-call.c ==== ==== float-benchs/​sin_interpolated_bigrange_loose_true-unreach-call.c ====
  
-error+Error : probably time-out on the first unwinding.
  
 ==== float-benchs/​sin_interpolated_bigrange_tight_true-unreach-call.c ==== ==== float-benchs/​sin_interpolated_bigrange_tight_true-unreach-call.c ====
  
-error+Error : probably time-out on the first unwinding.
  
 ==== float-benchs/​sin_interpolated_index_true-unreach-call.c ==== ==== float-benchs/​sin_interpolated_index_true-unreach-call.c ====
  
-error+Error : probably time-out on the first unwinding. 
  
sv-comp_2015_floats.txt · Last modified: 2015/01/14 11:44 by mbrain