Add a multi_cpu_race helper
authorIan Lynagh <ian@well-typed.com>
Wed, 17 Apr 2013 19:43:49 +0000 (20:43 +0100)
committerIan Lynagh <ian@well-typed.com>
Wed, 17 Apr 2013 19:43:49 +0000 (20:43 +0100)
commite47e6644b019dceade41ca050c5e852b6da8f35c
tree139988ca18225906910f2233b7d75b86b090e44a
parent3ad224cd0350f607aa6dbcf5d6fffa7a05535746
Add a multi_cpu_race helper

This makes the test run alone, to increase the chance of a
multi-CPU race happening.
testsuite/driver/testlib.py
testsuite/tests/rts/all.T