projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aaf5d11) | patch
Reenable assertion in skolem definition manager (#8797)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 21 May 2022 23:23:56 +0000 (18:23 -0500)
committerGitHub <noreply@github.com>
Sat, 21 May 2022 23:23:56 +0000 (23:23 +0000)
commit9f6da05263951ee353ae587565d0d7f38ef97867
tree84657d07e645692fc0466fb29af22104fc02ee5ftree
parentaaf5d11d3506c5f946c6b6edec2240d0a5b484d0commit | diff
Reenable assertion in skolem definition manager (#8797)

This reenables a variant of an assertion that was deleted in #8749, a weaker version of that assertion should now hold.
src/prop/skolem_def_manager.cpp diff | blob | history