projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 30678fb) | patch
Fix assertion list for globally defined recursive functions (#5084)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 18 Sep 2020 20:49:40 +0000 (15:49 -0500)
committerGitHub <noreply@github.com>
Fri, 18 Sep 2020 20:49:40 +0000 (13:49 -0700)
commit0bf5519f5f455fe779ccfbaa8ed2dfc9e98f4747
tree9c8df2b5fd6cce45b492f9d951ff5f4ed837ad14tree
parent30678fb782e88412469db4decd2cb42919f4ea02commit | diff
Fix assertion list for globally defined recursive functions (#5084)

This was uncovered by a (spurious) proof checking failure on proof-new.
src/smt/assertions.cpp diff | blob | history