spsc-bugfree: make Relacy run exhaustive, fair scheduler

diff --git a/spsc-bugfix/spsc-relacy.cc b/spsc-bugfix/spsc-relacy.cc
index 37ed989c46b85200a90b900c914939123af93577..8d4ad3ba66c3793ed902c96c760d0c8f7c6ee51f 100644 (file)
--- a/spsc-bugfix/spsc-relacy.cc
+++ b/spsc-bugfix/spsc-relacy.cc
@@ -23,5 +23,7 @@ struct spsc_queue_test : rl::test_suite<spsc_queue_test, 2>
 
 int main()
 {
 
 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);

 }
 }