search

salmans / Razor

5 stars 0 forks source link

Closing the connection to the SMT solver #40

Closed salmans closed 9 years ago

salmans commented 9 years ago

Before closing Razor, a call to satClose is required.

thedotmatrix commented 9 years ago

Fixed in the new REPL. Will close when it is pushed to the razor branch.