cogent/tests.xml

<?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 timeout="7200">
    <!-- artificial dependency on isabelle to fail fast if isabelle setup doesn't work -->
    <test name="cogent_compiler">make dev</test>
    <test name="cogent_typeproof" depends="isabelle">make test-tc-proof; make clean</test>
    <test name="cogent_autocorres" depends="cogent_compiler isabelle">make test-ac; make clean</test>
    <test name="cogent_c_refine" depends="cogent_compiler isabelle">make test-c-refine; make clean</test>
    <test name="cogent_shallowproof" depends="cogent_compiler isabelle">make test-shallow-proof; make clean</test>
    <!-- takes too long, and doesn't test much. disabled for now -->
    <!-- test name="cogent_all" depends="cogent_compiler">make test-ee; make clean</test -->
</testsuite>