diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-07-28 08:59:04 +0100 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-07-28 08:59:04 +0100 |
| commit | 7a305a4275c6226f6dd4e103e8ab5b6b3be8e73c (patch) | |
| tree | 1b3c6aa30c36883000124aa666945d96969bd4ec /runtime | |
| parent | 90390bd8d18b9ca5f1ecf5ae4f705b0089f9ea8f (diff) | |
| download | klee-7a305a4275c6226f6dd4e103e8ab5b6b3be8e73c.tar.gz | |
Fixed script for STP in Travis-CI: Build now exits on errors
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions