Testsuite: gov.nasa.jpf.test.basic.TestJPFMainTest
Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 1,41 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.test.basic.TestJPFMainTest ensureCompatibilityWithRunTestsOfThisClass
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\TestJPFMainTest.java
arguments:   ensureCompatibilityWithRunTestsOfThisClass 

====================================================== search started: 13.1.11 16:10

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:10
------------- ---------------- ---------------

Testcase: ensureCompatibilityWithRunTestsOfThisClass took 1,39 sec
