diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-09-04 19:01:21 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-09-04 19:01:21 +0200 |
| commit | 89d023e59cf61c17744ec8dca3451f25eeba58b0 (patch) | |
| tree | f4c188032e1c9c893bf17844dd3d7e9ff31d28bb /test/regression/2015-08-30-empty-constraints.c | |
| parent | 8f6c2fd67c34a9725f79652fb6bcb24f42b0f432 (diff) | |
| parent | 9c7364481547580d53f4f2c1a6c7b40a29e902de (diff) | |
| download | klee-89d023e59cf61c17744ec8dca3451f25eeba58b0.tar.gz | |
Merge pull request #276 from MartinNowack/travis_update
Travis: Support KLEE with different STP versions, in particular 2.1.0; Disable r940
Diffstat (limited to 'test/regression/2015-08-30-empty-constraints.c')
0 files changed, 0 insertions, 0 deletions