search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
122 stars 34 forks source link

`QuickPA` test fails with Z3 >= 4.0 #10

Open psuter opened 11 years ago

psuter commented 11 years ago

We should check whether something changed in the interface for theory plugins. Note that the BAPA plugin appears to work fine (Linux 32bit).

colder commented 11 years ago

Test removed for now.