1<?xml version="1.0"?>
2<!--
3     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
4
5     SPDX-License-Identifier: BSD-2-Clause
6-->
7
8<!--
9
10     Regression Specification File
11
12     See "misc/regression/tests.xml" for a description of the file
13     format.
14
15-->
16<testsuite cpu-timeout="600">
17
18    <set depends="isabelle">
19        <test name="Lib">../isabelle/bin/isabelle build -v -d .. Lib</test>
20        <test name="Concurrency" depends="Lib">../isabelle/bin/isabelle build -v -d .. Concurrency</test>
21        <test name="CLib" depends="Lib CParser">../isabelle/bin/isabelle build -v -d .. CLib</test>
22        <test name="LibTest" depends="Lib CParser Refine" cpu-timeout="1800">../isabelle/bin/isabelle build -v -d .. LibTest</test>
23        <test name="EVTutorial" depends="Lib">../isabelle/bin/isabelle build -v -d .. EVTutorial</test>
24    </set>
25
26</testsuite>
27