diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-19 10:33:18 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-19 11:50:41 +0000 |
| commit | f420cbee41ff68f8229b70e8b3ee9e1f13ed670f (patch) | |
| tree | 9602bd99b8f405d6cf3a54b3f024f21290cfe734 /runtime/Intrinsic/klee_div_zero_check.c | |
| parent | 5454dd510f7414989440988c3df85d9bef6852c2 (diff) | |
| download | klee-f420cbee41ff68f8229b70e8b3ee9e1f13ed670f.tar.gz | |
Teach both build systems to pass the user provided CXXFLAGS and CFLAGS
when using the native compiler in system tests. This fixes the `libkleeruntest` tests when building with ASan.
Diffstat (limited to 'runtime/Intrinsic/klee_div_zero_check.c')
0 files changed, 0 insertions, 0 deletions