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

regression: ensure that theory_imports runs after theory generation

This commit is contained in:
Japheth Lim 2016-05-27 18:02:21 +10:00
parent 40570bc4fe
commit 3b54eb8f70
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
misc/scripts/tests.xml
View File

@ -18,6 +18,6 @@
-->
<testsuite cpu-timeout="60">
<!-- Check theory import paths -->
<test name="theory_imports">bash check_theory_imports</test>
<!-- Check theory import paths. Depends on kernel theories to be generated. -->
<test name="theory_imports" depends="CKernel">bash check_theory_imports</test>
</testsuite>