Testsuite: gov.nasa.jpf.test.vm.threads.SuspendResumeTest
Tests run: 8, Failures: 0, Errors: 0, Time elapsed: 4,28 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.SuspendResumeTest suspendResumeUnlockLockNotify
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.threads.SuspendResumeTest suspendResumeUnlockLockNotify 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.SuspendResumeTest suspendNotifyUnlockResume
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.threads.SuspendResumeTest suspendNotifyUnlockResume 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.SuspendResumeTest suspendNotifyResumeUnlock
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.threads.SuspendResumeTest suspendNotifyResumeUnlock 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.SuspendResumeTest suspendResumeNotifyUnlock
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.threads.SuspendResumeTest suspendResumeNotifyUnlock 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.SuspendResumeTest notifySuspendUnlockResumeWaiting
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.threads.SuspendResumeTest notifySuspendUnlockResumeWaiting 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.SuspendResumeTest notifySuspendResumeWaitingBlockedUnlock
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.threads.SuspendResumeTest notifySuspendResumeWaitingBlockedUnlock 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.SuspendResumeTest notifyBlockedSuspendUnlockResume
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.threads.SuspendResumeTest notifyBlockedSuspendUnlockResume 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.SuspendResumeTest notifyBlockedSuspendResumeUnlock
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.vm.threads.SuspendResumeTest notifyBlockedSuspendResumeUnlock 

====================================================== search started: 13.1.11 16:15

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

====================================================== search finished: 13.1.11 16:15
------------- ---------------- ---------------

Testcase: suspendResumeUnlockLockNotify took 1,36 sec
Testcase: suspendNotifyUnlockResume took 0,48 sec
Testcase: suspendNotifyResumeUnlock took 0,46 sec
Testcase: suspendResumeNotifyUnlock took 0,33 sec
Testcase: notifySuspendUnlockResumeWaiting took 0,46 sec
Testcase: notifySuspendResumeWaitingBlockedUnlock took 0,34 sec
Testcase: notifyBlockedSuspendUnlockResume took 0,45 sec
Testcase: notifyBlockedSuspendResumeUnlock took 0,34 sec
