issues
search
MfesGA
/
Smtlib
Parser for smt-lib Command responses
MIT License
2
stars
6
forks
source link
fix problems in parseInfoFlags parser
#13
Closed
msakai
closed
8 years ago
msakai
commented
8 years ago
We need to use 'try' combinator, because each parser shares a common prefix ':'.
The most general 'parseInfoKeyword' parser should be the last parser.