projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44fd0bd) | patch
Require dumping in a dumping test (#5108)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 22 Sep 2020 01:44:26 +0000 (18:44 -0700)
committerGitHub <noreply@github.com>
Tue, 22 Sep 2020 01:44:26 +0000 (20:44 -0500)
commit71ab2d154b2f8b983562c495fe589cdd5a3a9862
tree8b1cb59764834db6532fdf9f9b0a32b8fa95cd63tree
parent44fd0bd8441d9dcce5aa9173757c9d8173924c17commit | diff
Require dumping in a dumping test (#5108)

Add ; REQUIRES: dumping to a dumping test.
Fixes nightlies.
test/regress/regress0/print_define_fun_internal.smt2 diff | blob | history