ScalaZ3 icon indicating copy to clipboard operation
ScalaZ3 copied to clipboard

Published 20 hours ago • verified publisher icon epfl-lara

`QuickPA` test fails with Z3 >= 4.0

Open psuter opened this issue 11 years ago • 1 comments

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

psuter avatar Oct 16 '12 15:10 psuter