test/memo/script.sh

   1 #!/bin/sh
   2
   3 clang -Xclang -load -Xclang /scratch/llvm/build/lib/libSkeletonPass.so -c -I/scratch/random-fuzzer/include/  /scratch/random-fuzzer/test/userprog.c
   4
   5 gcc -o userprog userprog.o -L/scratch/random-fuzzer -lmodel
   6
   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
   8
   9 #gcc -o double-read-fv double-read-fv.o -L/scratch/random-fuzzer -lmodel
  10
  11 #clang -Xclang -load -Xclang /scratch/llvm/build/lib/libSkeletonPass.so -c -I/scratch/random-fuzzer/include/  /scratch/random-fuzzer/test/rmw2prog.c
  12
  13 #gcc -o rmw2prog rmw2prog.o -L/scratch/random-fuzzer -lmodel
  14
  15 #clang -Xclang -load -Xclang /scratch/llvm/build/lib/libSkeletonPass.so -c -I/scratch/random-fuzzer/include/  /scratch/random-fuzzer/test/fences.c
  16
  17 #gcc -o fences fences.o -L/scratch/random-fuzzer -lmodel
  18
  19 export LD_LIBRARY_PATH=/scratch/random-fuzzer