Testsuite: gov.nasa.jpf.test.mc.basic.TraceTest
Tests run: 3, Failures: 0, Errors: 0, Time elapsed: 3,55 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.test.mc.basic.TraceTest foo
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\mc\basic\TraceTest.java
arguments:   foo 

====================================================== search started: 13.1.11 16:13
pre-trace choice: 0,100

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +listener=.listener.ChoiceSelector +choice.use_trace=trace gov.nasa.jpf.test.mc.basic.TraceTest foo
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\mc\basic\TraceTest.java
arguments:   foo 

====================================================== search started: 13.1.11 16:13
pre-trace choice: 0,100
post-trace choice: 0,100,0
post-trace choice: 0,100,1
post-trace choice: 0,100,2
post-trace choice: 0,100,3

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +trace.file=trace gov.nasa.jpf.test.mc.basic.TraceTest bar
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\mc\basic\TraceTest.java
arguments:   bar 

====================================================== search started: 13.1.11 16:13

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.AssertionError
	at gov.nasa.jpf.test.mc.basic.TraceTest.bar(TraceTest.java:92)
	at gov.nasa.jpf.util.test.TestJPF.runTestsOfThisClass(gov.nasa.jpf.util.test.JPF_gov_nasa_jpf_util_test_TestJPF)
	at gov.nasa.jpf.test.mc.basic.TraceTest.main(TraceTest.java:33)


====================================================== snapshot #1
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@4,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.basic.TraceTest.bar(TraceTest.java:92)
	at gov.nasa.jpf.util.test.TestJPF.runTestsOfThisClass(TestJPF.java:-1)
	at gov.nasa.jpf.test.mc.basic.TraceTest.main(TraceTest.java:33)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.AssertionError  at gov.nasa.jpf.test.mc...."

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +choice.use_trace=trace gov.nasa.jpf.test.mc.basic.TraceTest bar
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\mc\basic\TraceTest.java
arguments:   bar 

====================================================== search started: 13.1.11 16:13

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.AssertionError
	at gov.nasa.jpf.test.mc.basic.TraceTest.bar(TraceTest.java:92)
	at gov.nasa.jpf.util.test.TestJPF.runTestsOfThisClass(gov.nasa.jpf.util.test.JPF_gov_nasa_jpf_util_test_TestJPF)
	at gov.nasa.jpf.test.mc.basic.TraceTest.main(TraceTest.java:33)


====================================================== snapshot #1
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@4,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.basic.TraceTest.bar(TraceTest.java:92)
	at gov.nasa.jpf.util.test.TestJPF.runTestsOfThisClass(TestJPF.java:-1)
	at gov.nasa.jpf.test.mc.basic.TraceTest.main(TraceTest.java:33)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.AssertionError  at gov.nasa.jpf.test.mc...."

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +listener=.listener.TraceStorer +trace.file=trace +trace.depth=3 +search.depth_limit=3 gov.nasa.jpf.test.mc.basic.TraceTest baz
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\mc\basic\TraceTest.java
arguments:   baz 

====================================================== search started: 13.1.11 16:13
a=false
b=false

====================================================== search constraint
Search Depth: 3

====================================================== snapshot 
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@4,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.jvm.Verify.getBoolean(Verify.java:-1)
	at gov.nasa.jpf.test.mc.basic.TraceTest.baz(TraceTest.java:126)
	at gov.nasa.jpf.util.test.TestJPF.runTestsOfThisClass(TestJPF.java:-1)
	at gov.nasa.jpf.test.mc.basic.TraceTest.main(TraceTest.java:33)

b=false

====================================================== search constraint
Search Depth: 3

====================================================== snapshot 
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@4,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.jvm.Verify.getBoolean(Verify.java:-1)
	at gov.nasa.jpf.test.mc.basic.TraceTest.baz(TraceTest.java:126)
	at gov.nasa.jpf.util.test.TestJPF.runTestsOfThisClass(TestJPF.java:-1)
	at gov.nasa.jpf.test.mc.basic.TraceTest.main(TraceTest.java:33)

a=true
b=true

====================================================== search constraint
Search Depth: 3

====================================================== snapshot 
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@4,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.jvm.Verify.getBoolean(Verify.java:-1)
	at gov.nasa.jpf.test.mc.basic.TraceTest.baz(TraceTest.java:126)
	at gov.nasa.jpf.util.test.TestJPF.runTestsOfThisClass(TestJPF.java:-1)
	at gov.nasa.jpf.test.mc.basic.TraceTest.main(TraceTest.java:33)

b=true

====================================================== search constraint
Search Depth: 3

====================================================== snapshot 
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@4,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.jvm.Verify.getBoolean(Verify.java:-1)
	at gov.nasa.jpf.test.mc.basic.TraceTest.baz(TraceTest.java:126)
	at gov.nasa.jpf.util.test.TestJPF.runTestsOfThisClass(TestJPF.java:-1)
	at gov.nasa.jpf.test.mc.basic.TraceTest.main(TraceTest.java:33)


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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +listener=.listener.ChoiceSelector +choice.use_trace=trace +search.depth_limit=3 gov.nasa.jpf.test.mc.basic.TraceTest baz
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\mc\basic\TraceTest.java
arguments:   baz 

====================================================== search started: 13.1.11 16:13
a=true
b=true

====================================================== search constraint
Search Depth: 3

====================================================== snapshot 
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@4,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.jvm.Verify.getBoolean(Verify.java:-1)
	at gov.nasa.jpf.test.mc.basic.TraceTest.baz(TraceTest.java:126)
	at gov.nasa.jpf.util.test.TestJPF.runTestsOfThisClass(TestJPF.java:-1)
	at gov.nasa.jpf.test.mc.basic.TraceTest.main(TraceTest.java:33)


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

====================================================== search finished: 13.1.11 16:13
------------- ---------------- ---------------

Testcase: testPartialTrace took 1,93 sec
Testcase: testErrorTrace took 0,84 sec
Testcase: testDepth took 0,75 sec
