diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-08-10 12:09:01 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-08-10 12:09:01 +0100 |
| commit | eedf673e9dfa75d9d4180a53326c5b9668b69253 (patch) | |
| tree | f951a8b9d7b7bee2b48ae881ec465821c7472eea /include | |
| parent | c91a035e51d2023133d4767eeb99bb8931710876 (diff) | |
| parent | 7b3275e87d826026986eaf3801e0350b3daeb3c8 (diff) | |
| download | klee-eedf673e9dfa75d9d4180a53326c5b9668b69253.tar.gz | |
Merge pull request #267 from ccadar/master
Enabling assertions by default for KLEE. While the instructions for …
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions