projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57919ba) | patch
Fix dumping of assertions for monolithic preprocessing passes (#5866)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Mon, 8 Feb 2021 19:32:18 +0000 (16:32 -0300)
committerGitHub <noreply@github.com>
Mon, 8 Feb 2021 19:32:18 +0000 (13:32 -0600)
commitb2a5854eb7409a9fa159ef67f93689543808aa2d
tree27bae8e4258cd7dfa365da956aba5fef060e624dtree
parent57919ba7271a6c2b36173f2ba0f580b84f962b1bcommit | diff
Fix dumping of assertions for monolithic preprocessing passes (#5866)

Previously we were unable to dump assertions in ProcessAssertions::apply for the definition-expansion, simplify and repeat-simplify passes.
src/smt/dump.cpp diff | blob | history