diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-23 15:45:12 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-23 15:46:51 +0000 |
| commit | c0e85dc175f4ecc012e66a86949b2887389740ed (patch) | |
| tree | 0b7422a0846d76a7b3c2f62d0d0f198fcb7a744a /test/regression/2012-05-13-asm-causes-aborts.c | |
| parent | a40818cab8e1b2315ac40d2c2cb125fc422e8ed7 (diff) | |
| download | klee-c0e85dc175f4ecc012e66a86949b2887389740ed.tar.gz | |
[TravisCI] Check if `METASMT_VERSION` is set and abort if it is not
set. Also exit if any of the commands in `.travis/metaSMT.sh` fail.
Diffstat (limited to 'test/regression/2012-05-13-asm-causes-aborts.c')
0 files changed, 0 insertions, 0 deletions