Parse_smt2_string #7348
Unanswered
wookkim1031
asked this question in
Q&A
Parse_smt2_string
#7348
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Parse_smt2_string can not parse custom declared datatypes
LightState can not be parsed. functions are parsed however LightState is not recognized. Is there another way of parsing custom declared datatypes=
(declare-datatypes () ((LightState Off Bright On))) (declare-fun Light (Real) LightState) (declare-fun press (Real) Bool)Beta Was this translation helpful? Give feedback.
All reactions