projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e590612) | patch
Enable and fix dump test (#7387)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 21 Oct 2021 01:31:52 +0000 (18:31 -0700)
committerGitHub <noreply@github.com>
Thu, 21 Oct 2021 01:31:52 +0000 (01:31 +0000)
commit5ee9b4685a2aeceebeb109b9578be0562efbf700
treea231ffb813653c1e2da5b38f24a9bd87a6f16b45tree
parente590612dc4421d45cacc451a7b8a162acd9c7943commit | diff
Enable and fix dump test (#7387)

Fixes #1649. The test was not enabled before and was still expecting
CVC-style output.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/datatypes/datatype-dump.cvc.smt2 diff | blob | history