diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-17 17:38:14 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-18 14:44:41 +0000 |
| commit | ff8fa19642baed8100c7d47bf1e92aaf864758f0 (patch) | |
| tree | c80323d9fc0613a4d5f41faca92e682b6a007a59 /.travis/metaSMT.sh | |
| parent | 6566f3ca2893972a10e63b0308ff9b30a2d6a575 (diff) | |
| download | klee-ff8fa19642baed8100c7d47bf1e92aaf864758f0.tar.gz | |
[TravisCI] Remove `set +e` commands so that when running tests we fail
fast rather than continuing to run the tests (due to `set -e` at the beginning of the script). Although this gives less information in the event of a broken build it means our builds might finish faster if they are broken and it also simplifies the script significantly.
Diffstat (limited to '.travis/metaSMT.sh')
0 files changed, 0 insertions, 0 deletions