| Peter Chubb | 9772702 | 2016-05-02 09:37:15 +1000 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | # |
| 3 | # |
| 4 | # Copyright 2014, NICTA |
| 5 | # |
| 6 | # This software may be distributed and modified according to the terms of |
| 7 | # the BSD 2-Clause license. Note that NO WARRANTY is provided. |
| 8 | # See "LICENSE_BSD2.txt" for details. |
| 9 | # |
| 10 | # @TAG(NICTA_BSD) |
| 11 | # |
| 12 | |
| 13 | # Fetch directory this script is stored in. |
| 14 | DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" |
| 15 | |
| 16 | # Add repo version of Isabelle to our path. |
| 17 | export PATH="${DIR}/isabelle/bin:$PATH" |
| 18 | |
| 19 | # Run the tests from the script directory. |
| 20 | cd ${DIR} |
| Bilby Regression | 6c228c7 | 2019-12-16 10:41:13 +1100 | [diff] [blame] | 21 | python ./regression/run_tests.py "$@" -x autocorres -x isabelle -x c-refinement --limit 50 |
