diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-08-05 20:19:42 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-08-05 20:19:42 +0100 |
| commit | 7b3275e87d826026986eaf3801e0350b3daeb3c8 (patch) | |
| tree | 8d928ca79832d9e4e19a11def259088ca07d9f02 /Makefile.config.in | |
| parent | fb3ec96d62febeb5945f0cf9ce163bc5e608d621 (diff) | |
| download | klee-7b3275e87d826026986eaf3801e0350b3daeb3c8.tar.gz | |
Enabling assertions by default for KLEE. While the instructions for 2.9 explicitely requir assertions to be enabled, in 3.4 we ask users to use LLVM packages, which are built in Release mode. This was prompted by issue #246, where the bug would have resulted in an easier-to-debug assert failure.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions