diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-13 11:35:35 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-13 15:21:20 -0700 |
| commit | 81001c03e923755b090584e9b190294c7fc48b6d (patch) | |
| tree | 4d4473bd069ebda8a60d58d08fd66f851f96ebae /.travis | |
| parent | 0fa5f86d5e239a1a6b8f059e40178dada67ec45c (diff) | |
| download | klee-81001c03e923755b090584e9b190294c7fc48b6d.tar.gz | |
Enable ASSERTS in Travis builds.
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions