projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7291952) | patch
Fix assertion in conjecture generator (#2246)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 1 Aug 2018 15:33:41 +0000 (10:33 -0500)
committerAndres Noetzli <andres.noetzli@gmail.com>
Wed, 1 Aug 2018 15:33:41 +0000 (08:33 -0700)
commitb721666fd7a2dafaaeb112059c2588c99e8020ec
tree3146216f6b61c7eca6e8936d6b2781a1df1fe1c6tree
parent7291952f49ca93bbc98b419d72c20eb45f63c339commit | diff
 Fix assertion in conjecture generator (#2246)

Makes minor improvements and removes the need to have the assertion (which was incorrect).

This fixes the nightlies.
src/theory/quantifiers/conjecture_generator.cpp diff | blob | history