Commit state of repository at time of OOPSLA 2015 submission.
[satcheck.git] / benchmarks / checkfence / linuxrwlock / add_harness.c
1 #include "llock.c"
2
3 /* ---- harness for queue ---- */
4
5 rwlock_t mylock;
6
7 void i() 
8 {
9   lock_init(&mylock);
10 }
11 void e()
12 {
13   bar(&mylock);
14 }
15 void d()
16 {
17   bar(&mylock);
18 }