projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
spsc-bugfree: make Relacy run exhaustive, fair scheduler
[model-checker-benchmarks.git]
/
spsc-bugfix
/
spsc-relacy.cc
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()
{
- rl::simulate<spsc_queue_test>();
+ rl::test_params params;
+ params.search_type = rl::fair_full_search_scheduler_type;
+ rl::simulate<spsc_queue_test>(params);
}