On 12/11/2015 12:29 PM, Bernd Schmidt wrote:
Maybe not the most important PR in the database, but we might as well
fix and close it. Count the number of alternatives in a MATCH_SCRATCH
against the max.
Bootstrapped and tested on x86_64-linux (one testcase timed out, almost
certainly because anot
Maybe not the most important PR in the database, but we might as well
fix and close it. Count the number of alternatives in a MATCH_SCRATCH
against the max.
Bootstrapped and tested on x86_64-linux (one testcase timed out, almost
certainly because another test went heavily into swap at one poin
