<?xml version="1.0"?>
<!--
     Copyright 2016, NICTA

     This software may be distributed and modified according to the terms of
     the GNU General Public License version 2. Note that NO WARRANTY is provided.
     See "LICENSE_GPLv2.txt" for details.

     @TAG(NICTA_GPL)
  -->

<testsuite>
    <test timeout="3600" name="cogent_corres" depends="isabelle">source ../build-env.sh &amp;&amp; L4V_ARCH="ARM" $ISABELLE_BUILD -d "$AC_DIR" -d ../cogent/isa -d tests CogentTests</test>
    <test timeout="3600" name="cogent_corres_E2E" depends="cogent cogent_corres">source ../build-env.sh &amp;&amp; cogent --dist-dir=tests/middle-e2e -A tests/pass_middle-size-example.cogent --root-dir=.. --output-name=generated --proof-name=Middle --fake-header-dir=../cogent/lib &amp;&amp; L4V_ARCH="ARM" $ISABELLE_BUILD -d "$AC_DIR" -d ../cogent/isa -D tests/middle-e2e</test>
</testsuite>