search

dblotsky / stringfuzz

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

stringfuzzg should support norn as a new language #35

Open Grain opened 6 years ago

Grain commented 6 years ago

Norn only supports SMT-LIB 2.0, though its string syntax is the same as that for the "smt25" language in stringfuzz. A new language should be added that combines the "smt25" string syntax with the SMT-LIB 2.0 syntax.