tree a7fde4c150e82d279d9308554ed98af08edd09c1
parent 0833b82efd3988aaa71841b678bead016edd6bab
author Christoph Hertzberg <chtz@informatik.uni-bremen.de> 1414772345 +0100
committer Christoph Hertzberg <chtz@informatik.uni-bremen.de> 1414772345 +0100

Regression test for (invalid) bug #900. We should make it possible somehow to increase the problem size depending on the available RAM.