projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3003ba4) | patch
Fix missing conclusion for sep pto neg prop (#8844)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 2 Jun 2022 16:37:53 +0000 (11:37 -0500)
committerGitHub <noreply@github.com>
Thu, 2 Jun 2022 16:37:53 +0000 (16:37 +0000)
commitc9edfeabd6a1f7933d04a88d94e7ac4208fbcfc8
treee704e5c1e15c45e4045134a41672771b668299bctree
parent3003ba4636a5de1425869082cf4f497a256f4968commit | diff
Fix missing conclusion for sep pto neg prop (#8844)

Was introduced in the refactoring in #8768.

Fixes #8841.
src/theory/sep/theory_sep.cpp diff | blob | history
test/regress/cli/CMakeLists.txt diff | blob | history
test/regress/cli/regress0/sep/issue8841-neg-prop.smt2 [new file with mode: 0644] blob