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 cpu-timeout="3600" depends="isabelle Lib"> 21 <!-- Refine --> 22 <sequence depends="DSpecProofs"> 23 <test name="SysInit">make SysInit</test> 24 <test name="SysInitExamples">make SysInitExamples</test> 25 </sequence> 26</testsuite> 27