projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef71fc3) | patch
Add options for nec regression (#4056)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 12 Mar 2020 22:32:11 +0000 (17:32 -0500)
committerGitHub <noreply@github.com>
Thu, 12 Mar 2020 22:32:11 +0000 (17:32 -0500)
commit3e7c4419ac051902b83343e25b123eee3b715059
tree382b8abd67902b4b44dc51e95574b47812474b9ctree
parentef71fc3405900226557dc634dcf69f1a0738fea2commit | diff
Add options for nec regression (#4056)

Currently an nec benchmark in regress2 is very slow (57 seconds in production) due to disabling the nec-specific options in 67c730c). This reenables these options for this benchmark.
test/regress/regress2/arith/prp-13-24.smt2 diff | blob | history