readme.txt

Author: Christoph Csallner

2004-11-16 started

====================================================================
History
====================================================================

0.4.10 Added licenses, fixed bug in CodeWriterImpl.
0.4.0  Ant-based, refactored, bugfixes.
0.3.7  used for experiments in ICSE 2005 submission.



====================================================================
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) {
