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
sv-comp_2015_sequentialized [2015/01/14 15:01]
bjowac
sv-comp_2015_sequentialized [2015/01/14 16:01]
bjowac
Line 9: Line 9:
  
   * 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