2014-07-14 19:32:44 +00:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
|
<!--
|
|
|
|
|
Copyright 2014, NICTA
|
|
|
|
|
|
|
|
|
|
This software may be distributed and modified according to the terms of
|
|
|
|
|
the GNU General Public License version 2. Note that NO WARRANTY is provided.
|
|
|
|
|
See "LICENSE_GPLv2.txt" for details.
|
|
|
|
|
|
|
|
|
|
@TAG(NICTA_GPL)
|
|
|
|
|
-->
|
|
|
|
|
|
|
|
|
|
<!--
|
|
|
|
|
|
|
|
|
|
Regression Specification File
|
|
|
|
|
|
|
|
|
|
See "misc/regression/tests.xml" for a description of the file
|
|
|
|
|
format.
|
|
|
|
|
|
|
|
|
|
-->
|
2016-02-22 06:38:35 +00:00
|
|
|
<testsuite depends="isabelle" cpu-timeout="3600">
|
2014-07-14 19:32:44 +00:00
|
|
|
<test name="CamkesAdlSpec">make CamkesAdlSpec</test>
|
2015-12-10 07:01:34 +00:00
|
|
|
<test name="CamkesCdlRefine" depends="CamkesAdlSpec DPolicy">make CamkesCdlRefine</test>
|
2014-07-14 19:32:44 +00:00
|
|
|
<test name="CamkesGlueSpec">make CamkesGlueSpec</test>
|
2016-02-22 06:38:35 +00:00
|
|
|
<test name="CamkesGlueProofs" depends="AutoCorres">make CamkesGlueProofs</test>
|
2014-07-14 19:32:44 +00:00
|
|
|
</testsuite>
|
