diff options
| author |  Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2014-10-31 17:19:05 +0100 |
|---|---|---|
| committer | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2014-10-31 17:19:05 +0100 |
| commit | c5a3777666f5876ced7274297c797dac555f53e0 (patch) | |
| tree | a7fde4c150e82d279d9308554ed98af08edd09c1 /failtest | |
| parent | 0833b82efd3988aaa71841b678bead016edd6bab (diff) | |
Regression test for (invalid) bug #900. We should make it possible somehow to increase the problem size depending on the available RAM.
Diffstat (limited to 'failtest')
0 files changed, 0 insertions, 0 deletions