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

regression: fix tests.xml dependencies to be consistent with ROOTs.

This commit is contained in:
Japheth Lim 2015-12-10 14:18:27 +11:00
parent 26eb9eba44
commit 3c4b566484
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
proof/tests.xml
View File

@ -34,7 +34,7 @@
</sequence>
<!-- DSpec / DRefine -->
<sequence depends="DSpec">
<sequence depends="DSpec Refine">
<test name="DBaseRefine">make DBaseRefine</test>
<test name="DRefine">make DRefine</test>
</sequence>
@ -43,7 +43,7 @@
<sequence depends="AInvs">
<test name="Access">make Access</test>
<test name="InfoFlow">make InfoFlow</test>
<test name="InfoFlowC" depends="CBaseRefine">make InfoFlowC</test>
<test name="InfoFlowC" depends="CRefine">make InfoFlowC</test>
</sequence>
<!-- Access Control and capDL -->

2
spec/tests.xml
View File

@ -24,7 +24,7 @@
<test name="ExecSpec">make ExecSpec</test>
<test name="DSpec">make DSpec</test>
<test name="TakeGrant">make TakeGrant</test>
<test name="ASepSpec">make ASepSpec</test>
<test name="ASepSpec" depends="ASpec">make ASepSpec</test>
<!-- Ensure Haskell spec and generated Isabelle theories match. -->
<test name="SpecCheck">make spec-check</test>

2
sys-init/tests.xml
View File

@ -19,7 +19,7 @@
-->
<testsuite timeout="3600" depends="isabelle">
<!-- Refine -->
<sequence depends="DSpec">
<sequence depends="DSpecProofs">
<test name="SysInit">make SysInit</test>
<test name="SysInitExamples">make SysInitExamples</test>
</sequence>