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. 14DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" 15 16# Add repo version of Isabelle to our path. 17export PATH="${DIR}/isabelle/bin:$PATH" 18 19# Run the tests from the script directory. 20cd ${DIR} 21python ./regression/run_tests.py "$@" -x autocorres -x isabelle -x c-refinement --limit 50 22