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

regression: fix another tests.xml dependency.

This commit is contained in:
Japheth Lim 2015-12-10 18:01:34 +11:00
parent 3c4b566484
commit 194b2db850
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
camkes/tests.xml
View File

@ -19,7 +19,7 @@
-->
<testsuite timeout="3600" depends="isabelle">
<test name="CamkesAdlSpec">make CamkesAdlSpec</test>
<test name="CamkesCdlRefine" depends="CamkesAdlSpec DSpec">make CamkesCdlRefine</test>
<test name="CamkesCdlRefine" depends="CamkesAdlSpec DPolicy">make CamkesCdlRefine</test>
<test name="CamkesGlueSpec">make CamkesGlueSpec</test>
<test name="CamkesGlueProofs" depends="AutoCorres">make CamkesGlueProofs</test>
</testsuite>