diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 17:29:44 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 17:39:18 -0700 |
| commit | f9d4391e880766dcd02e8ca824bc386b4a4a8e6d (patch) | |
| tree | 794546f975e06c11d8dd40f130b71b1b3ee9c4bf /.gitignore | |
| parent | 8c6a1145fd65ed2f8d5ef49ea80c6249ce71ec29 (diff) | |
| download | klee-f9d4391e880766dcd02e8ca824bc386b4a4a8e6d.tar.gz | |
[tests] Rewrite MemoryLimit test to use larger allocations for "little" test path.
- Otherwise this test takes a long time just hammering on the allocator trying to get to the memory limit.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions