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

tests: add kernel-config session (#614) 

Make the C kernel config extraction visible as a separate test session
in run_tests so that run_tests can do concurrency control for it.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2023-03-21 13:50:37 +11:00 committed by GitHub
parent 96e6e6a983
commit e6b080ac38
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
spec/tests.xml
View File

@ -15,8 +15,10 @@
-->
<testsuite cpu-timeout="3600">
<!-- Run the haskell translator. -->
<set>
<!-- Extract kernel configuration into Kernel_Config.thy. -->
<test name="kernel-config" cpu-timeout="300">make c-config</test>
<!-- Run the haskell translator. -->
<test name="haskell-translator" cpu-timeout="600">make design-spec</test>
</set>
@ -24,7 +26,7 @@
<!-- Various seL4 specifications. -->
<test name="TakeGrant">make TakeGrant</test>
<set depends="haskell-translator">
<set depends="haskell-translator kernel-config">
<test name="ASpec">make ASpec</test>
<test name="ExecSpec">make ExecSpec</test>
<test name="DSpec">make DSpec</test>