#!/bin/sh
echo "clapse program: " $1

PKLEE=$1KLEE

llvm-gcc -I ./ -emit-llvm -c -g $PKLEE.c -o $PKLEE.bc

opt -load LLVMCLAPBB.dylib -clapmbb $PKLEE.bc -o $PKLEE_instrumented.bc

./clapse $PKLEE_instrumented.bc