projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03cb06e) | patch
Disable unsat cores for quaternion_ds1_symm_0428.fof.smt2. (#7830)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 17 Dec 2021 03:30:39 +0000 (19:30 -0800)
committerGitHub <noreply@github.com>
Fri, 17 Dec 2021 03:30:39 +0000 (21:30 -0600)
commit38fd45bc40108796c39f60f4d0bd54739f85c002
treecc42c6665ba37ddaa94d7ff67bdc389a60460c74tree
parent03cb06e30a13bdb9e6a3c6c3d54bfe7411f27ec8commit | diff
Disable unsat cores for quaternion_ds1_symm_0428.fof.smt2. (#7830)

Avoids timeout for nightly ASAN builds.
test/regress/regress1/quantifiers/quaternion_ds1_symm_0428.fof.smt2 diff | blob | history