package javax.safetycritical.test.safelet;
import java.util.Enumeration;
import javax.scj.util.Const;
import org.jmlspecs.utils.JmlAssertionError;
import unitTest.TestCase;
import unitTest.TestFailure;
import unitTest.TestResult;
import unitTest.TestSuite;
public class AllTests
{
static final TestResult result = new TestResult();
static final String name = "Safelet";
public static void main (String[] args)
{
Const.setDefaultErrorReporter();
TestSuite suite = new TestSuite();
//suite.addTest(test_Safelet2);
suite.run(result);
printResult();
}
private static void printResult() {
System.out.println("\nTest of " + name + ":");
System.out.println(" Test cases: " + result.runCount());
System.out.println(" Test errors: " + result.errorCount());
System.out.println(" JML errors: " + result.JMLerrorCount());
if (result.errorCount() > 0) {
System.out.println("\nTest errors are in:");
for (Enumeration<TestFailure> e = result.errors(); e.hasMoreElements();) {
System.out.println("" + e.nextElement());
}
}
if (result.JMLerrorCount() > 0) {
System.out.println("\nJML errors are in:");
for (Enumeration<TestFailure> e = result.JMLerrors(); e.hasMoreElements();) {
System.out.println("" + e.nextElement());
}
}
}
// public static TestCase test_Safelet2 = new TestSafelet2(name)
// {
// public void runTest ()
// {
// int i = 1;
// try
// {
// for ( ; i <= TestSafelet2.testCount; i++)
// test(i);
// }
// catch (JmlAssertionError e) {
// AllTests.result.addJMLError(this, e);
// this.setCaseNumber(i);}
// catch (Throwable e) {
// AllTests.result.addError(this, e);
// this.setCaseNumber(i);}
// }
// };
}