1<?xml version="1.0"?> 2<!-- 3 Copyright 2014, General Dynamics C4 Systems 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(GD_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"> 21 22 <!-- Run the haskell translator. --> 23 <set> 24 <test name="haskell-translator" cwd="design" cpu-timeout="600">make design</test> 25 </set> 26 27 <set depends="isabelle Lib"> 28 <!-- Various seL4 specifications. --> 29 <test name="ASpec" depends="haskell-translator">make ASpec</test> 30 <test name="ASpecDoc" depends="ASpec">make ASpecDoc</test> 31 <test name="ExecSpec" depends="haskell-translator">make ExecSpec</test> 32 <test name="DSpec" depends="haskell-translator">make DSpec</test> 33 <test name="TakeGrant">make TakeGrant</test> 34 <test name="ASepSpec" depends="ASpec">make ASepSpec</test> 35 </set> 36 37 <set> 38 <!-- Build Haskell kernel code. --> 39 <test name="HaskellKernel" cwd="haskell" cpu-timeout="1800">./check-newlines.sh && make</test> 40 </set> 41 42</testsuite> 43