projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f9f8a7) | patch
Add benchmark for issue 4420 (#6286)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 7 Apr 2021 21:03:27 +0000 (16:03 -0500)
committerGitHub <noreply@github.com>
Wed, 7 Apr 2021 21:03:27 +0000 (16:03 -0500)
commitc35aad2ce7ffe910200906d7758a41c0cf70dfe5
tree6e42907d15ba6c62dd97d65743133293d4af73catree
parent8f9f8a79a55a7c478f8d26894f4d2e7023c5a39ccommit | diff
Add benchmark for issue 4420 (#6286)

Adds a benchmark that was previous sensitive to assertion order, fixes #4420.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/quantifiers/issue4420-order-sensitive.smt2 [new file with mode: 0644] blob