1<?xml version="1.0"?>
2<!--
3     Copyright 2014, General Dynamics C4 Systems
4
5     This software may be distributed and modified according to the terms of
6     the GNU General Public License version 2. Note that NO WARRANTY is provided.
7     See "LICENSE_GPLv2.txt" for details.
8
9     @TAG(GD_GPL)
10  -->
11
12<!--
13
14     Regression Specification File
15
16     See "misc/regression/tests.xml" for a description of the file
17     format.
18
19-->
20<testsuite cpu-timeout="3600">
21
22    <!-- Run the haskell translator. -->
23    <set>
24        <test name="haskell-translator" cwd="design" cpu-timeout="600">make design</test>
25    </set>
26
27    <set depends="isabelle Lib">
28        <!-- Various seL4 specifications. -->
29        <test name="ASpec" depends="haskell-translator">make ASpec</test>
30        <test name="ASpecDoc" depends="ASpec">make ASpecDoc</test>
31        <test name="ExecSpec" depends="haskell-translator">make ExecSpec</test>
32        <test name="DSpec" depends="haskell-translator">make DSpec</test>
33        <test name="TakeGrant">make TakeGrant</test>
34        <test name="ASepSpec" depends="ASpec">make ASepSpec</test>
35    </set>
36
37    <set>
38        <!-- Build Haskell kernel code. -->
39        <test name="HaskellKernel" cwd="haskell" cpu-timeout="1800">./check-newlines.sh &amp;&amp; make</test>
40    </set>
41
42</testsuite>
43