search

dblotsky / stringfuzz

Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
Other
20 stars 9 forks source link

stringfuzzx: scanning error for comment #3

Closed mtrberzi closed 6 years ago

mtrberzi commented 7 years ago

Converting the following input from SMT2.5 to SMT2.0 with stringfuzzx results in a scanning error:

(set-logic QF_S)
(declare-const X String)
(declare-const Y String)

(assert (= "abc" (str.++ X Y)))

(check-sat)
;(get-model)

Removing the semicolon on the last line (which starts a line comment) results in the expected output being displayed. Has support been added in the grammar for comments in input files?

dblotsky commented 7 years ago

Yep, comments aren't in the parsing grammar. I'll add them this week. Thanks for pointing that out!

dblotsky commented 6 years ago

Should be fixed in ccf686009bd5c08c93e22b5041bead8cce09977f.

dblotsky commented 6 years ago

@mtrberzi please confirm that this works for you when you have a chance.