projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb47226) | patch
[Unit Tests] Fix bags rewrite test (#7114)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 2 Sep 2021 04:14:56 +0000 (21:14 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Sep 2021 04:14:56 +0000 (04:14 +0000)
commitb11a6d57ded753885e272ce69612ff15a591c592
tree32221d24ce237897eaf51dc1abb1ec7aa3eefb81tree
parenteb472264003f202b842e4d25355a1c3f01467750commit | diff
[Unit Tests] Fix bags rewrite test (#7114)

PR #7103 did not quite fix the unit test: The types of the lambda and
the expected bags were still off. This fixes the unit test.
src/theory/bags/bags_rewriter.cpp diff | blob | history
test/unit/theory/theory_bags_rewriter_white.cpp diff | blob | history