projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 210e662) | patch
Parse error for SyGuS version 1.0 vs 2.0 (#4057)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 20 Mar 2020 16:04:31 +0000 (11:04 -0500)
committerGitHub <noreply@github.com>
Fri, 20 Mar 2020 16:04:31 +0000 (11:04 -0500)
commit696b9d7e06b132bd3cb2d343acecba775e141e24
treea4bcce109b716b8564e0d2e1942c7d2f250867eatree
parent210e66251b40c74243cf13a967464add2abb7a52commit | diff
Parse error for SyGuS version 1.0 vs 2.0 (#4057)

This adds a useful error message that recognizes a divergence in the expected input format (version 1 vs. version 2), which will be useful when we switch to SyGuS version 2 by default. This warning message is already potentially useful for users who are using --lang=sygus2.
src/parser/smt2/Smt2.g diff | blob | history