spsc-bugfree: make Relacy run exhaustive, fair scheduler
authorBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 02:38:33 +0000 (18:38 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 02:38:33 +0000 (18:38 -0800)
spsc-bugfix/spsc-relacy.cc

index 37ed989..8d4ad3b 100644 (file)
@@ -23,5 +23,7 @@ struct spsc_queue_test : rl::test_suite<spsc_queue_test, 2>
 
 int main()
 {
-       rl::simulate<spsc_queue_test>();
+       rl::test_params params;
+       params.search_type = rl::fair_full_search_scheduler_type;
+       rl::simulate<spsc_queue_test>(params);
 }