diff options
| author | MartinNowack <martin.nowack@gmail.com> | 2016-07-09 09:36:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-09 09:36:36 +0200 |
| commit | 48797d9846c38406f31e8a933a28eeef480a664d (patch) | |
| tree | de7ce7fcce647ec650630a071b5d570d54a1cedf /test | |
| parent | e87e5bd478d8dad5a7c164197b9e39da3873442d (diff) | |
| parent | 61bb349e953d76bf3fd96a6f853f273f81ed13ff (diff) | |
| download | klee-48797d9846c38406f31e8a933a28eeef480a664d.tar.gz | |
Merge pull request #377 from MartinNowack/fix_div_constant
Fix generation of STP shift operations with variable shift
Diffstat (limited to 'test')
| -rw-r--r-- | test/regression/2016-04-14-sdiv-2.c (renamed from test/regression/2016-04-14-sdiv-2.c_) | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/regression/2016-04-14-sdiv-2.c_ b/test/regression/2016-04-14-sdiv-2.c index 88a5fca3..974036ee 100644 --- a/test/regression/2016-04-14-sdiv-2.c_ +++ b/test/regression/2016-04-14-sdiv-2.c @@ -1,10 +1,11 @@ -// XFAIL: * // RUN: %llvmgcc %s -emit-llvm -g -O0 -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out -exit-on-error -solver-optimize-divides=true %t.bc >%t1.log // RUN: grep "m is 2" %t1.log - #include <assert.h> +#include <stdio.h> + +#include "klee/klee.h" int main(void) { |