| <?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 && 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 && 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 && L4V_ARCH="ARM" $ISABELLE_BUILD -d "$AC_DIR" -d ../cogent/isa -D tests/middle-e2e</test> |
| </testsuite> |
