3 clang -Xclang -load -Xclang /scratch/llvm/build/lib/libSkeletonPass.so -c -I/scratch/random-fuzzer/include/ /scratch/random-fuzzer/test/userprog.c
5 gcc -o userprog userprog.o -L/scratch/random-fuzzer -lmodel
7 #clang -Xclang -load -Xclang /scratch/llvm/build/lib/libSkeletonPass.so -c -I/scratch/random-fuzzer/include/ /scratch/random-fuzzer/test/double-read-fv.c
9 #gcc -o double-read-fv double-read-fv.o -L/scratch/random-fuzzer -lmodel
11 #clang -Xclang -load -Xclang /scratch/llvm/build/lib/libSkeletonPass.so -c -I/scratch/random-fuzzer/include/ /scratch/random-fuzzer/test/rmw2prog.c
13 #gcc -o rmw2prog rmw2prog.o -L/scratch/random-fuzzer -lmodel
15 #clang -Xclang -load -Xclang /scratch/llvm/build/lib/libSkeletonPass.so -c -I/scratch/random-fuzzer/include/ /scratch/random-fuzzer/test/fences.c
17 #gcc -o fences fences.o -L/scratch/random-fuzzer -lmodel
19 export LD_LIBRARY_PATH=/scratch/random-fuzzer