1<?xml version="1.0"?>
2<!--
3     Copyright 2014, NICTA
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(NICTA_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" depends="isabelle Lib">
21    <!-- Refine -->
22    <sequence depends="DSpecProofs">
23        <test name="SysInit">make SysInit</test>
24        <test name="SysInitExamples">make SysInitExamples</test>
25    </sequence>
26</testsuite>
27