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 depends="isabelle Lib" cpu-timeout="3600">
21    <test name="CamkesAdlSpec">make CamkesAdlSpec</test>
22    <test name="CamkesCdlRefine" depends="CamkesAdlSpec DPolicy">make CamkesCdlRefine</test>
23    <test name="CamkesGlueSpec">make CamkesGlueSpec</test>
24    <test name="CamkesGlueProofs" depends="AutoCorres" cpu-timeout="7200">make CamkesGlueProofs</test>
25</testsuite>
26