diff options
| author | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2013-10-15 14:54:40 +0100 |
|---|---|---|
| committer | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2013-10-15 14:54:40 +0100 |
| commit | 3294f19dfe4571538b21f2bd31cce0c4eea1ae83 (patch) | |
| tree | f021a6fda776b165bb1d4785eb321f8f246e1610 /test/Feature/MultipleReallocResolution.c | |
| parent | ad0f0bd772ab8f03967a83bb8960658bf6caafa4 (diff) | |
| download | klee-3294f19dfe4571538b21f2bd31cce0c4eea1ae83.tar.gz | |
Fixed nondeterministic behaviour in test case ./test/Solver/LargeIntegers.pc -- only 16 bytes of array a were initialised in Query 2, but values of 17 bytes were later required for comparison.
Diffstat (limited to 'test/Feature/MultipleReallocResolution.c')
0 files changed, 0 insertions, 0 deletions