readme.txt
Author: Christoph Csallner

2005-06-24 Changed to Java 1.5 to support Daikon 4.1.2.
2004-11-16 Started.
====================================================================

CnC requires Java 1.5 (because Daikon 4.1.2 requires Java 1.5).
But current ESC needs access to rt.jar of Java 1.4 (its specs are for Java 1.4).

Current solution (until ESC supports Java 1.5):
+ Build CnC with javac 1.5 (via CnC's build.xml)
+ Run CnC with Java 1.5 (via project's build.xml)
++ Project's build.xml compiles subject to Java 1.4 class files
++ Project's build.xml points to Java 1.4 rt.jar.
====================================================================

Make sure to compile your testee with the -g switch for debug information.
(Remove the following line from any older CnC project build.xml files:
debuglevel="source,lines")
====================================================================

Daikon requires a correctly behaving test case.
This test case needs to be compiled
(i.e., with the testee itself via project's testees.txt).
====================================================================

Missing source file:

Check 'n Crash extends ESC/Java 2. The extension is implemented by
a hook in escjava.translate.ErrorMsg, which calls Check 'n Crash.
This is the only location where we have modified ESC/Java 2.
Due to Compaq's ESC/Java license we could not include our modified
version of escjava.translate.ErrorMsg in Java source form, only in
binary form (escjava/translate/ErrorMsg.class).
The following is our hook and the line it needs to be prepended to.
edu.gatech.cc.cnc.Main.main.jcrasherHook(pruneCC(counterexampleContext).toString(), rd);
if (Info.on || Main.options().pcc) {
====================================================================
