X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=spsc-bugfix%2Fspsc-relacy.cc;h=8d4ad3ba66c3793ed902c96c760d0c8f7c6ee51f;hp=37ed989c46b85200a90b900c914939123af93577;hb=6bfec4a14ed32227ccd38e85e111221d89c10d58;hpb=991d0fdc0fb17f85d485c97dc2c5d8d57a98dad9

diff --git a/spsc-bugfix/spsc-relacy.cc b/spsc-bugfix/spsc-relacy.cc
index 37ed989..8d4ad3b 100644
--- 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()
 {
-	rl::simulate<spsc_queue_test>();
+	rl::test_params params;
+	params.search_type = rl::fair_full_search_scheduler_type;
+	rl::simulate<spsc_queue_test>(params);
 }