Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker-benchmarks
[model-checker-benchmarks.git] / williams-queue / williams-queue.cc
1 //#include <threads.h>
2 #include <thread>
3
4 #include "williams-queue.h"
5
6 lock_free_queue<int> *queue;
7
8 void threadA(void *arg)
9 {
10 }
11
12 #define user_main main
13
14 int user_main(int argc, char **argv)
15 {
16         /*thrd_t A, B;
17
18         thrd_create(&A, &threadA, NULL);
19         thrd_join(A);*/
20         queue = new lock_free_queue<int>();
21         std::thread t(threadA, (void *)NULL);
22         t.join();
23
24         return 0;
25 }