User Tools

Site Tools


sv-comp_2015_sequentialized

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sv-comp_2015_sequentialized [2015/01/14 14:59]
bjowac
sv-comp_2015_sequentialized [2015/01/14 16:01]
bjowac
Line 8: Line 8:
 dominated by solver time dominated by solver time
  
-* ESMBC only other tool to solve this+  ​* ESMBC only other tool to solve this 
 +  * SMT2 backend not working due to floatbv? 
 + 
 +Passing problem to SMT2 QF_AUFBV using Yices 
 +TODO: floatbv -> int
  
 SMT2 backend complains SMT2 backend complains
sv-comp_2015_sequentialized.txt · Last modified: 2015/01/14 16:01 by bjowac