adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

c-parser: Added X64 CParserTest to regression

This commit is contained in:
Joel Beeren 2016-10-11 14:08:55 +11:00
parent 33262e9bef
commit 3ff1029376
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tools/tests.xml
View File

@ -23,6 +23,7 @@
<sequence cwd="c-parser">
<test name="CParser">../../isabelle/bin/isabelle env make -f IsaMakefile CParser</test>
<test name="CParserTest" cpu-timeout="7200">../../isabelle/bin/isabelle env make -f IsaMakefile cparser_test</test>
<test name="CParserTestX64" cpu-timeout="7200">L4V_ARCH=X64 ../../isabelle/bin/isabelle env make -f IsaMakefile cparser_test</test>
<test name="CParserTools">../../isabelle/bin/isabelle env make -f IsaMakefile cparser_tools</test>
</sequence>