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

lib: add Lib test sessions

This commit is contained in:
Gerwin Klein 2018-07-01 12:16:54 +02:00
parent 9489b03ede
commit 0f1efbaa37
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/tests.xml
View File

@ -19,8 +19,11 @@
-->
<testsuite cpu-timeout="600">
<set depends="isabelle CParser">
<set depends="isabelle">
<test name="Lib">../isabelle/bin/isabelle build -v -d .. Lib</test>
<test name="Concurrency" depends="Lib">../isabelle/bin/isabelle build -v -d .. Concurrency</test>
<test name="CLib" depends="Lib CParser">../isabelle/bin/isabelle build -v -d .. CLib</test>
<test name="LibTest" depends="Lib Refine">../isabelle/bin/isabelle build -v -d .. LibTest</test>
</set>
</testsuite>