projects
/
jpf-core.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add constanttime class
[jpf-core.git]
/
jpf.properties
diff --git
a/jpf.properties
b/jpf.properties
index 0bdb03646b526e87e533ffc9acc5bac78e939397..8c0270db389d12a0fa8b2f38e1f8ae983309ad6b 100644
(file)
--- a/
jpf.properties
+++ b/
jpf.properties
@@
-293,7
+293,7
@@
vm.sysprop.source = SELECTED
#vm.sysprop.keys =
# class we use to model execution time
#vm.sysprop.keys =
# class we use to model execution time
-vm.time.class = gov.nasa.jpf.vm.
System
Time
+vm.time.class = gov.nasa.jpf.vm.
Constant
Time
# if this is set to true, we throw an exception if we encounter any orphan native peer methods
vm.no_orphan_methods = false
# if this is set to true, we throw an exception if we encounter any orphan native peer methods
vm.no_orphan_methods = false