search

epfl-lara / ScalaZ3

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

Implement Z3Context.onError, called when z3 errors out. #21

Closed colder closed 11 years ago

colder commented 11 years ago

Implements a callback for Z3 fatal errors. C will call Java's Z3Wrapper.onZ3Error which will dispatch to the right Z3Context.onError

colder commented 11 years ago

Commit has been updated to use WeakHashMaps, in order to allow collection of contexts

psuter commented 11 years ago

I'm glad we have the right kind of hashmap now :)