diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-29 16:56:56 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-24 14:15:25 +0300 |
| commit | 54851ed24b9d8a8937d7bf7d02ee6020ef770204 (patch) | |
| tree | 04d1b3ffcf243d05e852e605f26e05bb6946f1a6 /cmake | |
| parent | ecc7fae9cbac9aa970aac072276e5bca1c583c02 (diff) | |
| download | klee-54851ed24b9d8a8937d7bf7d02ee6020ef770204.tar.gz | |
Add testcase for shift check
Validate non-optimised and optimised variant of added checks.
Diffstat (limited to 'cmake')
0 files changed, 0 insertions, 0 deletions