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

arm-hyp test: Fix race condition between isabelle and isabelle_ARM

This commit is contained in:
Alejandro Gomez-Londono 2017-02-28 18:25:28 +11:00 committed by Alejandro Gomez-Londono
parent 4a76aec383
commit ee71ad77a0
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
misc/regression/tests.xml
View File

@ -55,9 +55,11 @@
-->
<testsuite>
<!-- Build Isabelle and common theories (Pure, HOL, HOL-Word, Word). -->
<!-- Build Isabelle and common theories (Pure, HOL, HOL-Word, Word). -->
<sequence>
<test name="isabelle" cwd="../.." cpu-timeout="3600">isabelle/bin/isabelle build -d . -vb Word_Lib</test>
<test name="isabelle_ARM" cwd="../.." cpu-timeout="3600">L4V_ARCH=ARM isabelle/bin/isabelle build -d . -vb Word_Lib</test>
</sequence>
<!-- Ensure that all of our XML files are strictly correct. -->
<test name="tests-xml-correct" cwd="../../" cpu-timeout="60">