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