1<?xml version="1.0"?>
2<!--
3     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
4
5     SPDX-License-Identifier: GPL-2.0-only
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 depends="isabelle Lib" cpu-timeout="3600">
17    <test name="CamkesAdlSpec" depends="Access">make CamkesAdlSpec</test>
18    <test name="CamkesCdlRefine" depends="CamkesAdlSpec DPolicy">make CamkesCdlRefine</test>
19    <test name="CamkesGlueSpec">make CamkesGlueSpec</test>
20    <test name="CamkesGlueProofs" depends="AutoCorres" cpu-timeout="7200">make CamkesGlueProofs</test>
21</testsuite>
22