search

elliottt / easy-smt

Easy SMT solver interaction
Apache License 2.0
24 stars 4 forks source link

Add debug assertions that an `SExpr` comes from the correct `Context` #11

Closed fitzgen closed 1 year ago

fitzgen commented 1 year ago

Helps catch usage bugs like https://github.com/elliottt/easy-smt/issues/10 early.

fitzgen commented 1 year ago

Published 0.1.1 with this change.