alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Generalize patch from 2011-02-03 by allowing guards like "! (...)".

Browse source 
* src/neverparse/neverclaimscan.ll: Allow space between ! and (.
* src/tgbatest/neverclaimread.test: Add space for testing.
This commit is contained in:
Alexandre Duret-Lutz 2011-02-07 00:06:18 +01:00
parent 0568eaf0ee
commit 8b06edbc3b
3 changed files with 9 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2011-02-07 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Generalize patch from 2011-02-03 by allowing guards like "! (...)".
* src/neverparse/neverclaimscan.ll: Allow space between ! and (.
* src/tgbatest/neverclaimread.test: Add space for testing.
2011-02-06 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2011-02-06 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Speedup scc_filter on tgba_explicit_number automata. Speedup scc_filter on tgba_explicit_number automata.

2
src/neverparse/neverclaimscan.ll
View file

@ -56,7 +56,7 @@ eol \n|\r|\n\r|\r\n
"goto" return token::GOTO; "goto" return token::GOTO;
"false"|"0" return token::FALSE; "false"|"0" return token::FALSE;
"!"?"(".*")"|"true"|"1" { ("!"[ \t]+)?"(".*")"|"true"|"1" {
yylval->str = new std::string(yytext, yyleng); yylval->str = new std::string(yytext, yyleng);
return token::FORMULA; return token::FORMULA;
} }

2
src/tgbatest/neverclaimread.test
View file

@ -35,7 +35,7 @@ T1:
if if
:: (p1 && (! p0)) -> goto accept_all :: (p1 && (! p0)) -> goto accept_all
:: (p1) -> goto T1 :: (p1) -> goto T1
:: !(p1) -> goto T2_init :: ! (p1) -> goto T2_init
fi; fi;
accept_all: accept_all:
skip skip