diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-11-28 18:06:35 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-11-28 18:06:35 +0000 |
| commit | 6d9be03c5f322207637c88eac881563c1f8420ac (patch) | |
| tree | 6204dbbce8df099b09a5febdbc33316bbec948f2 /docs/SMT-COMP | |
| parent | 4dc7dfdb7b65a9ef5db4cf7c911327a87323c5a1 (diff) | |
| download | klee-6d9be03c5f322207637c88eac881563c1f8420ac.tar.gz | |
Fixed fragile test case that depended too much on the code generated
by the compiler (this was failing with clang/llvm 3.1). git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168795 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/SMT-COMP')
0 files changed, 0 insertions, 0 deletions