projects
/
satcheck.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Fix TSO Bugs
[satcheck.git]
/
bin
/
annotate
1
#!/bin/bash
2
DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
3
MC2DIR=`dirname $DIR`
4
CLANG_INCLUDE_DIR=/usr/lib/llvm-3.7/lib/clang/3.7.0/include
5
6
$MC2DIR/clang/build/add_mc2_annotations $1 -- -DPROBLEMSIZE=1 -I/usr/include -I$MC2DIR/include -I$CLANG_INCLUDE_DIR
7