ctf-tools/z3/test

#!/bin/bash -ex

set +e
source ${VIRTUALENVWRAPPER_SCRIPT}
workon ctftools
set -e

python -c 'import z3; print(z3.get_version_string())' || exit 1
exit 0
fail hard on any error + verify that all scripts use bash -ex to fail early on any error + anticipate that some tools can't be installed by now, but we still want the test to return success to satisfy travis-ci 2017-02-16 22:40:17 +01:00			`#!/bin/bash -ex`
Add z3 theorem prover 2016-09-21 12:03:01 +00:00
fail hard on any error + verify that all scripts use bash -ex to fail early on any error + anticipate that some tools can't be installed by now, but we still want the test to return success to satisfy travis-ci 2017-02-16 22:40:17 +01:00			`set +e`
Add z3 theorem prover 2016-09-21 12:03:01 +00:00			`source ${VIRTUALENVWRAPPER_SCRIPT}`
			`workon ctftools`
fail hard on any error + verify that all scripts use bash -ex to fail early on any error + anticipate that some tools can't be installed by now, but we still want the test to return success to satisfy travis-ci 2017-02-16 22:40:17 +01:00			`set -e`

Add z3 theorem prover 2016-09-21 12:03:01 +00:00			`python -c 'import z3; print(z3.get_version_string())' \|\| exit 1`
			`exit 0`