You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This issue is meant to aggregate discussions regarding tests, which involve Z3SolverContext (or, more specifically, SMT constraints). In general, SMT constraints make unit testing difficult, because adding constraints mutates the internal state of the solver context, which doesn't lend itself well to testing.
Please note any suggestions/comments/concerns below.
The text was updated successfully, but these errors were encountered:
This issue is meant to aggregate discussions regarding tests, which involve
Z3SolverContext
(or, more specifically, SMT constraints). In general, SMT constraints make unit testing difficult, because adding constraints mutates the internal state of the solver context, which doesn't lend itself well to testing.Please note any suggestions/comments/concerns below.
The text was updated successfully, but these errors were encountered: