diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-15 21:46:54 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-25 13:36:41 +0100 |
| commit | 9719cddc90bb276b5306baafea9f0bd684ce0b91 (patch) | |
| tree | d2700f09894f3cef453c877c23d47aabbc4e1916 /.gitignore | |
| parent | 28821122b625c5eefbda09a0f28c575d47136f1f (diff) | |
| download | klee-9719cddc90bb276b5306baafea9f0bd684ce0b91.tar.gz | |
Make sure TravisCI tests at least one Debug+Asserts build.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions