diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2018-05-23 14:54:48 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-10-26 13:31:07 +0100 |
| commit | 1f1569510990a3330b6eb8e3499198294964a88e (patch) | |
| tree | 28901b7fd4a7d92044f1db0cf97606e3bd15eed6 /test/Solver/Z3ConstantArray.c | |
| parent | 3f70fbfc3d3b0cc2cc9263277979be256a39dd6e (diff) | |
| download | klee-1f1569510990a3330b6eb8e3499198294964a88e.tar.gz | |
llvm5: test, change objectsize
@llvm.objectsize has now three aguments, so fix the tests accordingly. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'test/Solver/Z3ConstantArray.c')
0 files changed, 0 insertions, 0 deletions