Tune resource usage of some tests
authorStephane Glondu <steph@glondu.net>
Fri, 8 Nov 2013 21:27:23 +0000 (22:27 +0100)
committerMehdi Dogguy <mehdi@debian.org>
Wed, 21 Dec 2016 23:48:59 +0000 (23:48 +0000)
commit08648d941ab8318c6b296f3aded2b47fd3cdae72
treef0e5d0c67e19e4dd03b1355767d843be4e4056e0
parentc01da400d4f36b49da0e42fab6375bec9e3af931
Tune resource usage of some tests

The original tests trigger some limits and fail on kfreebsd-i386 with
uncaught exception Sys_error("Thread.create: Resource temporarily
unavailable").

Gbp-Pq: Name 0007-Tune-resource-usage-of-some-tests.patch
testsuite/tests/lib-threads/sieve.ml
testsuite/tests/lib-threads/sieve.reference
testsuite/tests/lib-threads/testsieve.ml
testsuite/tests/lib-threads/testsieve.reference
testsuite/tests/lib-threads/token1.ml
testsuite/tests/lib-threads/token2.ml