KTH Demo: Proof Generation
This step compiles the class files from the loaded source files.
Tool output:
EXECUTING: /usr/lib/jvm/java-1.5.0-sun/bin/javac
-target 1.4
-source 1.4
-bootclasspath wtk2.5.1/lib/cldcapi11.jar:wtk2.5.1/lib/midpapi21.jar
-d ../classfiles s3mstest/wormgame/WormMain.java
EXECUTION WD: wizard_workdir/javafiles
EXECUTION SUCCESSFUL.
-target 1.4
-source 1.4
-bootclasspath wtk2.5.1/lib/cldcapi11.jar:wtk2.5.1/lib/midpapi21.jar
-d ../classfiles s3mstest/wormgame/WormMain.java
EXECUTION WD: wizard_workdir/javafiles
EXECUTION SUCCESSFUL.
View the class files here: