Add constanttime class

[jpf-core.git] / jpf.properties

diff --git a/jpf.properties b/jpf.properties
index 8942678621075358076c951d93d9c4ceb0cebc50..8c0270db389d12a0fa8b2f38e1f8ae983309ad6b 100644 (file)
--- a/jpf.properties
+++ b/jpf.properties
@@ -22,7 +22,6 @@ jpf-core.native_classpath=\
 
 jpf-core.classpath=\
   ${jpf-core}/build/jpf-classes.jar;\
-  ${jpf-core}/build/asm-7.1.jar;\
   ${jpf-core}/build/examples
 
 jpf-core.sourcepath=\
@@ -294,7 +293,7 @@ vm.sysprop.source = SELECTED
 #vm.sysprop.keys =
 
 # class we use to model execution time
-vm.time.class = gov.nasa.jpf.vm.SystemTime
+vm.time.class = gov.nasa.jpf.vm.ConstantTime
 
 # if this is set to true, we throw an exception if we encounter any orphan native peer methods
 vm.no_orphan_methods = false