tests.xml

<?xml version="1.0"?>
<!--
     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)

     SPDX-License-Identifier: BSD-2-Clause
-->

<!--

     Regression Specification File

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

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

    <set depends="isabelle">
        <test name="Lib">../isabelle/bin/isabelle build -v -d .. Lib</test>
        <test name="Concurrency" depends="Lib">../isabelle/bin/isabelle build -v -d .. Concurrency</test>
        <test name="CLib" depends="Lib CParser">../isabelle/bin/isabelle build -v -d .. CLib</test>
        <test name="LibTest" depends="Lib CParser Refine" cpu-timeout="1800">../isabelle/bin/isabelle build -v -d .. LibTest</test>
        <test name="EVTutorial" depends="Lib">../isabelle/bin/isabelle build -v -d .. EVTutorial</test>
    </set>

</testsuite>