@@ -0,0 +1,1117 @@
+/*%0A * This file is covered by the terms of the NASA Open Source Agreement v1.3.%0A *%0A * Copyright (c) SZEDER G%C3%A1bor%0A *%0A * Parts of this software were developed within the JEOPARD research%0A * project, which received funding from the European Union's Seventh%0A * Framework Programme under grant agreement No. 216682.%0A */%0A%0Apackage de.fzi.cjunit.jpf.util;%0A%0Aimport java.io.PrintWriter;%0A%0Aimport gov.nasa.jpf.Config;%0Aimport gov.nasa.jpf.report.ConsolePublisher;%0Aimport gov.nasa.jpf.report.Reporter;%0A%0Aimport de.fzi.cjunit.jpf.outside.TestObserver;%0A%0A%0Apublic class OnFailurePublisher extends ConsolePublisher %7B%0A%0A%09TestObserver testObserver;%0A%0A%09public OnFailurePublisher(Config conf, Reporter reporter) %7B%0A%09%09super(conf, reporter);%0A%09%7D%0A%0A%09public void setTestObserver(TestObserver testObserver) %7B%0A%09%09this.testObserver = testObserver;%0A%09%7D%0A%0A%09@Override%0A%09public String getName() %7B%0A%09%09return super.getName();%0A%09%7D%0A%0A%09@Override%0A%09protected void openChannel() %7B%0A%09%09out = new PrintWriter(System.out, false);%0A%09%7D%0A%0A%09@Override%0A%09public void publishFinished() %7B%0A%09%09super.publishFinished();%0A%09%09if (testObserver.getTestResult() == false) %7B%0A%09%09%09out.flush();%0A%09%09%7D%0A%09%7D%0A%7D%0A

Add OnFailurePublisher