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