1 #include <relacy/relacy_std.hpp>
3 #include "queue-relacy.h"
5 struct spsc_queue_test : rl::test_suite<spsc_queue_test, 2>
9 void thread(unsigned thread_index)
11 if (0 == thread_index)
26 rl::test_params params;
27 params.search_type = rl::fair_full_search_scheduler_type;
28 rl::simulate<spsc_queue_test>(params);