projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20007b7) | patch
Fix use of declaration sequence command in cvc parser (#5479)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 20 Nov 2020 19:51:07 +0000 (13:51 -0600)
committerGitHub <noreply@github.com>
Fri, 20 Nov 2020 19:51:07 +0000 (13:51 -0600)
commit020879ca5fe52e272d7e7f8df1cbcc9a0e74899c
treeb1d3df5e1883f983e6492bdec9496933511a7723tree
parent20007b739555fe27a6600fcb4d156173bcc0eee3commit | diff
Fix use of declaration sequence command in cvc parser (#5479)

This is required to make the cvc parser work properly with the new version of getting models based on the symbol manager.
src/parser/cvc/Cvc.g diff | blob | history