diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-18 13:24:52 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-03-19 12:37:01 +0000 |
| commit | 391eb4973da52e7ef5b99d846852d557006b949c (patch) | |
| tree | d154d2080aede82d193c1c808225029ff9d4f0cf /test | |
| parent | b552a9f41b3e3b9db56f240f3e96430f4d5ade03 (diff) | |
| download | klee-391eb4973da52e7ef5b99d846852d557006b949c.tar.gz | |
Additional test for dealing with vector instructions
Diffstat (limited to 'test')
| -rw-r--r-- | test/VectorInstructions/memset.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/VectorInstructions/memset.c b/test/VectorInstructions/memset.c new file mode 100644 index 00000000..73684e5b --- /dev/null +++ b/test/VectorInstructions/memset.c @@ -0,0 +1,11 @@ +// RUN: rm -rf %t.klee-out +// RUN: %clang %s -emit-llvm %O0opt -g -c -o %t1.bc +// RUN: %klee --output-dir=%t.klee-out --optimize=true --exit-on-error %t1.bc + +#include <string.h> + +int main(int argc, char** argv) { + char arr[1000]; + memset(arr, 1, sizeof(arr)); + return arr[argc]; +} |