Testsuite: gov.nasa.jpf.test.java.concurrent.SemaphoreTest
Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 2,33 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.concurrent.SemaphoreTest testResourceAcquisition
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.java.concurrent.SemaphoreTest testResourceAcquisition 

====================================================== search started: 13.1.11 16:11
Thread-0 acquiring resource..
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-1 acquiring resource..
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 acquiring resource..
Thread-0 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-0 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-0 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-0 released
Thread-1 acquiring resource..
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-1 acquiring resource..
Thread-0 acquiring resource..
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 released
Thread-1 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-0 acquiring resource..
Thread-1 released
Thread-0 acquiring resource..
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 acquiring resource..
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-1 acquiring resource..
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-1 acquiring resource..
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-1 acquiring resource..
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-1 acquiring resource..
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-1 acquiring resource..
Thread-0 releasing resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-1 acquiring resource..
Thread-0 releasing resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-1 acquiring resource..
Thread-0 releasing resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-1 acquiring resource..
Thread-0 releasing resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-1 acquiring resource..
Thread-0 released
Thread-0 released
Thread-0 released
Thread-1 acquiring resource..
Thread-0 released
Thread-0 released
Thread-0 released
Thread-1 acquiring resource..
Thread-0 released
Thread-0 released
Thread-0 released
Thread-1 acquiring resource..
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 released
Thread-1 released
Thread-1 released
Thread-1 released
Thread-1 acquiring resource..
Thread-0 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 released
Thread-1 released
Thread-1 released
Thread-1 released
Thread-0 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 released
Thread-1 released
Thread-1 released
Thread-1 released
Thread-0 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-0 released
Thread-1 acquiring resource..
Thread-1 acquiring resource..
Thread-1 acquiring resource..
Thread-1 acquiring resource..
Thread-0 releasing resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-1 acquiring resource..
Thread-1 acquiring resource..
Thread-1 acquiring resource..
Thread-1 acquiring resource..
Thread-0 got resource: Resource-0
Thread-0 got resource: Resource-0
Thread-0 got resource: Resource-0
Thread-1 acquiring resource..
Thread-1 acquiring resource..
Thread-1 acquiring resource..
Thread-1 acquiring resource..
Thread-1 acquiring resource..
Thread-0 acquiring resource..
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 released
Thread-1 released
Thread-1 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 released
Thread-0 released
Thread-0 released
Thread-0 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-1 released
Thread-1 released
Thread-1 released
Thread-1 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 released
Thread-0 released
Thread-0 released
Thread-0 released
Thread-0 acquiring resource..
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-0 acquiring resource..
Thread-0 acquiring resource..
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-0 acquiring resource..
Thread-0 acquiring resource..
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-0 acquiring resource..
Thread-0 acquiring resource..
Thread-1 got resource: Resource-0
Thread-1 releasing resource: Resource-0
Thread-0 acquiring resource..
Thread-1 got resource: Resource-0
Thread-0 acquiring resource..
Thread-1 releasing resource: Resource-0
Thread-0 acquiring resource..
Thread-0 acquiring resource..
Thread-1 releasing resource: Resource-0
Thread-0 acquiring resource..
Thread-0 acquiring resource..
Thread-1 releasing resource: Resource-0
Thread-0 acquiring resource..
Thread-0 acquiring resource..
Thread-1 releasing resource: Resource-0
Thread-0 acquiring resource..
Thread-1 releasing resource: Resource-0
Thread-0 acquiring resource..
Thread-0 acquiring resource..
Thread-1 released
Thread-0 acquiring resource..
Thread-0 acquiring resource..
Thread-1 released
Thread-0 acquiring resource..
Thread-0 acquiring resource..
Thread-1 released
Thread-0 acquiring resource..
Thread-1 released
Thread-0 acquiring resource..
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 released
Thread-0 released
Thread-0 released
Thread-0 released
Thread-0 acquiring resource..
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released
Thread-0 acquiring resource..
Thread-0 got resource: Resource-0
Thread-0 releasing resource: Resource-0
Thread-0 released

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

====================================================== search finished: 13.1.11 16:11
------------- ---------------- ---------------

Testcase: testResourceAcquisition took 2,31 sec
