projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35397d7) | patch
Add option that exercises the previously buggy behavior (#6884)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Wed, 14 Jul 2021 22:29:50 +0000 (19:29 -0300)
committerGitHub <noreply@github.com>
Wed, 14 Jul 2021 22:29:50 +0000 (22:29 +0000)
commit85ba8a85a2398cdc752dcd503373614830206fdf
treec5bc46afde76d559653e3a6549539c2af8196977tree
parent35397d766e6cb991c0106aca56dcff865f525270commit | diff
Add option that exercises the previously buggy behavior (#6884)
test/regress/regress0/proofs/open-pf-if-unordered-iff.smt2 diff | blob | history