1<?xml version="1.0"?> 2<!-- 3 Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 4 5 SPDX-License-Identifier: BSD-2-Clause 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 cpu-timeout="600"> 17 18 <set depends="isabelle"> 19 <test name="Lib">../isabelle/bin/isabelle build -v -d .. Lib</test> 20 <test name="Concurrency" depends="Lib">../isabelle/bin/isabelle build -v -d .. Concurrency</test> 21 <test name="CLib" depends="Lib CParser">../isabelle/bin/isabelle build -v -d .. CLib</test> 22 <test name="LibTest" depends="Lib CParser Refine" cpu-timeout="1800">../isabelle/bin/isabelle build -v -d .. LibTest</test> 23 <test name="EVTutorial" depends="Lib">../isabelle/bin/isabelle build -v -d .. EVTutorial</test> 24 </set> 25 26</testsuite> 27