projects / model-checker-benchmarks.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
typo
[model-checker-benchmarks.git] / generate.sh
1 #!/bin/bash
2
3 SpecCompiler=$HOME/spec-checker-compiler
4
5 ClassPath=$SpecCompiler/classes
6
7 Class=edu/uci/eecs/codeGenerator/CodeGenerator 
8
9 java -cp $ClassPath $Class $1
C++11 memory model checker benchmarks