fixed command line

[cdsspec-compiler.git] / benchmark / spsc-bugfix / spsc-relacy.cc

diff --git a/benchmark/spsc-bugfix/spsc-relacy.cc b/benchmark/spsc-bugfix/spsc-relacy.cc
deleted file mode 100644 (file)
index fc594fb..0000000
--- a/benchmark/spsc-bugfix/spsc-relacy.cc
+++ /dev/null
@@ -1,29 +0,0 @@
-#include <relacy/relacy_std.hpp>
-
-#include "queue-relacy.h"
-
-struct spsc_queue_test : rl::test_suite<spsc_queue_test, 2>
-{
-       spsc_queue<int> q;
-
-       void thread(unsigned thread_index)
-       {
-               if (0 == thread_index)
-               {
-                       q.enqueue(11);
-               }
-               else
-               {
-                       int d = q.dequeue();
-                       //RL_ASSERT(11 == d);
-               }
-       }
-};
-
-
-int main()
-{
-       rl::test_params params;
-       params.search_type = rl::fair_full_search_scheduler_type;
-       rl::simulate<spsc_queue_test>(params);
-}