Commit b0c90e9e authored by Matthew Dawson's avatar Matthew Dawson
Browse files

When parsing SMTLibOut, parse the decimal point as a period. 

Since periods are usually a wildcard, make sure to quote it so that it is
properly handled as a period, and not any random value.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@10723 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent 6d4d9cee

Matlab2SMT/src/main/java/ca/mcmaster/cas/smtlibchecker/SMTLibOutParser.g4

+1 −1
Original line number Diff line number Diff line
@@ -4,5 +4,5 @@ valuelist: '(' value+ ')'; //Build list of variables 
value:     '(' ID RATIONAL ')';



ID: [a-zA-Z][a-zA-Z0-9]*; //Variable identifier.  Start with letter, then alpha numerical allowed.

RATIONAL: [0-9]+(.[0-9]+)?;

RATIONAL: [0-9]+('.'[0-9]+)?;

WS : [ \t\r\n]+ -> skip ; // skip spaces, tabs, newlines