Testsuite: gov.nasa.jpf.test.vm.threads.InterruptTest
Tests run: 5, Failures: 0, Errors: 0, Time elapsed: 3,3 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.InterruptTest testInterruptStatus
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.InterruptTest testInterruptStatus 

====================================================== search started: 13.1.11 16:15
setting interrupt status
query and clear interrupt status

====================================================== 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.InterruptTest testWaitSyncInterrupt
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.InterruptTest testWaitSyncInterrupt 

====================================================== search started: 13.1.11 16:15
main terminated
T waiting
java.lang.InterruptedException
	at java.lang.Object.wait(gov.nasa.jpf.jvm.JPF_java_lang_Object)
	at gov.nasa.jpf.test.vm.threads.InterruptTest$1.run(InterruptTest.java:63)
T interrupted, terminating
main terminated
T waiting
java.lang.InterruptedException
	at java.lang.Object.wait(gov.nasa.jpf.jvm.JPF_java_lang_Object)
	at gov.nasa.jpf.test.vm.threads.InterruptTest$1.run(InterruptTest.java:63)
T interrupted, terminating
T waiting
java.lang.InterruptedException
	at java.lang.Object.wait(gov.nasa.jpf.jvm.JPF_java_lang_Object)
	at gov.nasa.jpf.test.vm.threads.InterruptTest$1.run(InterruptTest.java:63)
T interrupted, terminating
main terminated

====================================================== 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.InterruptTest testWaitAsyncInterrupt
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.InterruptTest testWaitAsyncInterrupt 

====================================================== search started: 13.1.11 16:15
main interrupting t1
main terminated
T waiting
java.lang.InterruptedException
	at java.lang.Object.wait(gov.nasa.jpf.jvm.JPF_java_lang_Object)
	at gov.nasa.jpf.test.vm.threads.InterruptTest$2.run(InterruptTest.java:98)
T interrupted, terminating
main interrupting t1
main terminated
T waiting
java.lang.InterruptedException
	at java.lang.Object.wait(gov.nasa.jpf.jvm.JPF_java_lang_Object)
	at gov.nasa.jpf.test.vm.threads.InterruptTest$2.run(InterruptTest.java:98)
T interrupted, terminating
T waiting
main interrupting t1
main terminated
java.lang.InterruptedException
	at java.lang.Object.wait(gov.nasa.jpf.jvm.JPF_java_lang_Object)
	at gov.nasa.jpf.test.vm.threads.InterruptTest$2.run(InterruptTest.java:98)
T interrupted, terminating

====================================================== 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.InterruptTest testBlockedWaitAsyncInterrupt
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.InterruptTest testBlockedWaitAsyncInterrupt 

====================================================== search started: 13.1.11 16:15
T waiting
main interrupting t1
main terminated, t1 runnable again
java.lang.InterruptedException
	at java.lang.Object.wait(gov.nasa.jpf.jvm.JPF_java_lang_Object)
	at gov.nasa.jpf.test.vm.threads.InterruptTest$3.run(InterruptTest.java:144)
T interrupted, terminating
main interrupting t1
main terminated, t1 runnable again
T waiting
main interrupting t1
main terminated, t1 runnable again

====================================================== 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.InterruptTest testPark
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.InterruptTest testPark 

====================================================== search started: 13.1.11 16:15
main interrupting
main joining t1..
T parking..
T terminated
main joined t1
main terminated
T parking..
main interrupting
main joining t1..
T terminated
main interrupting
main joining t1..
T terminated

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

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

Testcase: testInterruptStatus took 1,3 sec
Testcase: testWaitSyncInterrupt took 0,53 sec
Testcase: testWaitAsyncInterrupt took 0,47 sec
Testcase: testBlockedWaitAsyncInterrupt took 0,49 sec
Testcase: testPark took 0,49 sec
