From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Nov 2012 02:38:33 +0000 (-0800)
Subject: spsc-bugfree: make Relacy run exhaustive, fair scheduler
X-Git-Tag: pldi2013~3
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=11d8084363b250c25f246fa644048ebe181ec8df

spsc-bugfree: make Relacy run exhaustive, fair scheduler
---

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);
 }