diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-03-31 11:48:49 +0400 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-04-02 13:06:52 +0100 |
| commit | 58ce9056c80cd2253df988eefcd7764e1056579b (patch) | |
| tree | d94986f7725607967f1f24e39dcc4398b177f130 /test/Intrinsics | |
| parent | 7948a03c62890333ae3848b626efb9340a542beb (diff) | |
| download | klee-58ce9056c80cd2253df988eefcd7764e1056579b.tar.gz | |
Handle __assert() function as handleAssertFail. This assert variant is used on FreeBSD
Diffstat (limited to 'test/Intrinsics')
0 files changed, 0 insertions, 0 deletions