When I turn on the "Print Graph" option in the design panel of the ModelJUnit GUI, it generates the following code (in the Code Viewer), which is incorrect because the 'graph' variable is not declared and initialized.
import net.sourceforge.czt.modeljunit.*;
public class SimpleSetTester
{
public static void main(String args[])
{
SimpleSet model = new SimpleSet();
Tester tester = new RandomTester(model);
tester.addListener("verbose", new VerboseListener(tester.getModel()));
tester.generate(10);
graph.printGraphDot("map.dot");
}
}