tests.xml

<?xml version="1.0"?>
<!--
     Copyright 2014, General Dynamics C4 Systems

     SPDX-License-Identifier: GPL-2.0-only
-->

<!--

     Regression Specification File

     See "misc/regression/tests.xml" for a description of the file
     format.

-->
<testsuite cpu-timeout="3600">

    <!-- Run the haskell translator. -->
    <set>
        <test name="haskell-translator" cwd="design" cpu-timeout="600">make design</test>
    </set>

    <set depends="isabelle Lib">
        <!-- Various seL4 specifications. -->
        <test name="TakeGrant">make TakeGrant</test>

        <set depends="haskell-translator">
            <test name="ASpec">make ASpec</test>
            <test name="ExecSpec">make ExecSpec</test>
            <test name="DSpec">make DSpec</test>
        </set>

        <set depends="ASpec">
            <test name="ASpecDoc">make ASpecDoc</test>
            <test name="ASepSpec">make ASepSpec</test>
        </set>
    </set>

    <set>
        <!-- Build Haskell kernel code. -->
        <test name="HaskellKernel" cwd="haskell" cpu-timeout="1800">./check-newlines.sh &amp;&amp; make</test>
    </set>

</testsuite>