Testsuite: gov.nasa.jpf.test.basic.MJITest
Tests run: 12, Failures: 0, Errors: 0, Time elapsed: 5,36 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.test.basic.MJI a
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\MJI.java
arguments:   a 

====================================================== search started: 13.1.11 16:10
# entering native <clinit>

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.test.basic.MJI b
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\MJI.java
arguments:   b 

====================================================== search started: 13.1.11 16:10
# entering native <clinit>
# entering nativeStaticMethod()

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.test.basic.MJI c
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\MJI.java
arguments:   c 

====================================================== search started: 13.1.11 16:10
# entering native <clinit>
# entering nativeInstanceMethod()

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.test.basic.MJI d
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\MJI.java
arguments:   d 

====================================================== search started: 13.1.11 16:10
# entering native <clinit>
# entering native <init>(I)

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.test.basic.MJI e
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\MJI.java
arguments:   e 

====================================================== search started: 13.1.11 16:10
# entering native <clinit>
# entering nativeCreateIntArray()

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.test.basic.MJI f
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\MJI.java
arguments:   false 

====================================================== search started: 13.1.11 16:10
# entering native <clinit>
# entering nativeCreateStringArray()

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.test.basic.MJI g
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\MJI.java
arguments:   g 

====================================================== search started: 13.1.11 16:10
# entering native <clinit>
# entering nativeCreate2DimIntArray()

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.test.basic.MJI h
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\MJI.java
arguments:   h 

====================================================== search started: 13.1.11 16:10
# entering native <clinit>
# entering nativeException()
java.lang.UnsupportedOperationException: caught me
	at gov.nasa.jpf.test.basic.MJI.nativeException(gov.nasa.jpf.test.basic.JPF_gov_nasa_jpf_test_basic_MJI)
	at gov.nasa.jpf.test.basic.MJI.testNativeException(MJI.java:123)
	at gov.nasa.jpf.test.basic.MJI.main(MJI.java:51)

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.test.basic.MJI i
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\MJI.java
arguments:   i 

====================================================== search started: 13.1.11 16:10
# entering native <clinit>
# entering nativeCrash()
  running jpf with args: gov.nasa.jpf.test.basic.MJI j
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\MJI.java
arguments:   j 

====================================================== search started: 13.1.11 16:10
# entering native <clinit>
# entering nativeRoundtripLoop(): 42
### roundtrip 43
# entering nativeInnerRoundtrip()
# entering nativeRoundtripLoop(): 42
### roundtrip 46
# entering nativeInnerRoundtrip()
# entering nativeRoundtripLoop(): 42
### roundtrip 49
# entering nativeInnerRoundtrip()
# entering nativeRoundtripLoop(): 42
### roundtrip 52
# entering nativeInnerRoundtrip()
# entering nativeRoundtripLoop(): 42

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.test.basic.MJI k
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\MJI.java
arguments:   k 

====================================================== search started: 13.1.11 16:10
# entering native <clinit>
## entering testHiddenroundtrip()
## in echo : 20
# entering nativeHiddenRoundtrip: 21
## in atomicStuff : 21
## in echo : 22
# exit nativeHiddenRoundtrip: 22
## exiting testHiddenroundtrip()

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

====================================================== search finished: 13.1.11 16:10
  running jpf with args: gov.nasa.jpf.test.basic.MJI l
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\basic\MJI.java
arguments:   l 

====================================================== search started: 13.1.11 16:10
# entering native <clinit>
## entering testHiddenroundtripException()
## in echo : 20
# entering nativeHiddenRoundtrip: -1
## in atomicStuff : -1
## atomicStuff throwing IllegalArgumentException
# hidden method execution failed, leaving nativeHiddenRoundtrip: gov.nasa.jpf.jvm.UncaughtException: uncaught exception in thread main #0 : java.lang.IllegalArgumentException : "negative atomicStuff argument"
## exiting testHiddenroundtripException()

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

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

Testcase: testNativeClInit took 1,2 sec
Testcase: testNativeStaticMethod took 0,47 sec
Testcase: testNativeInstanceMethod took 0,39 sec
Testcase: testNativeInit took 0,38 sec
Testcase: testNativeCreateIntArray took 0,36 sec
Testcase: testNativeCreateStringArray took 0,35 sec
Testcase: testNativeCreate2DimIntArray took 0,36 sec
Testcase: testNativeException took 0,36 sec
Testcase: testNativeCrash took 0,34 sec
Testcase: testRoundtripLoop took 0,39 sec
Testcase: testHiddenRoundtrip took 0,35 sec
Testcase: testHiddenRoundtripException took 0,36 sec
