cd korat-1.1/src/Graph

javac -cp ../../lib/korat-1.0.jar *.java -d ../../bin

cd bin

java -cp ../lib/korat-1.0.jar:../lib/junit.jar:../lib/commons-cli-1.0.jar:../lib/alloy4viz.jar:../lib/javassist.jar: Graph.MyTest --class Graph.Graph --args 2,3,4

cd bin

java -cp ../lib/korat-1.0.jar;../lib/junit.jar;../lib/commons-cli-1.0.jar;../lib/alloy4viz.jar;../lib/javassist.jar; Graph.MyTest --class Graph.Graph --args 2,3,4