Differences

This shows you the differences between two versions of the page.

--- jpf-native:start [2009/05/14 21:01] – franck
+++ jpf-native:start [2009/05/14 21:03] (current) – franck
@@ Line 201: / Line 201: @@
 We have to ensure that the native peer class is part of the classpath
 used by JPF and set the vm.bootclasspath appropriately for the model class.
+If we run JPF, we get something like the following.
+<code>
+JavaPathfinder v4.1 - (C) 1999-2007 RIACS/NASA Ames Research Center
+====================================================== system under test
+application: Now.java
+====================================================== search started: 5/14/09 5:02 PM
+Thu May 14 17:02:54 EDT 2009
+====================================================== results
+no errors detected
+====================================================== statistics
+elapsed time:       0:00:01
+states:             new=1, visited=0, backtracked=0, end=1
+search:             maxDepth=0, constraints=0
+choice generators:  thread=1, data=0
+heap:               gc=1, new=262, free=14
+instructions:       2709
+max memory:         17MB
+loaded code:        classes=66, methods=839
+====================================================== search finished: 5/14/09 5:02 PM
+</code>