projects / nmutil.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0cdeafb) | patch
Allow choosing a non-default solver in assertFormal
authorCesar Strauss <cestrauss@gmail.com>
Sat, 23 Jan 2021 09:43:43 +0000 (06:43 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sat, 23 Jan 2021 09:43:43 +0000 (06:43 -0300)
commit268b22e9dad1df913d86ebc631c69dc218c63242
treef47e52b865f9bff9d55b801141b696b4bf7d1fc3tree
parent0cdeafb983a2dc596d3b8c96393d34ce9eb9c44bcommit | diff
Allow choosing a non-default solver in assertFormal

It seems that small changes can dramatically affect the speed of the
default solver (yices2), while z3 is unaffected.

Let's use the one that gives the best results.
src/nmutil/formaltest.py diff | blob | history