diff --git a/scheme.properties b/scheme.properties index 2fb18ca9a1990da12f15b4260dada50585faecea..adbaed5e86a67bc7ec9eac4ea003bea5d9d46fae 100644 --- a/scheme.properties +++ b/scheme.properties @@ -1,10 +1,10 @@ # Properties used in racr-mquat # Attention: the equals character need to be seperated with at least one whitespace on both sides -timing = 0 -log.info = 1 -log.debug = 0 -measure.lp.write = 0 -measure.profiling = 1 -measure.flush = 0 -measure.non-chached = 0 +timing = 0 +log.info = 1 +log.debug = 0 +measure.lp.write = 0 +measure.profiling = 1 +measure.flush = 0 +measure.non-cached = 0 diff --git a/utils.scm b/utils.scm index d20b7f56124b054e1644dfa45d70e08d9b0be936..99007976908bd0a5ec0877ccc58ef0dcdacaa16d 100644 --- a/utils.scm +++ b/utils.scm @@ -120,7 +120,7 @@ (number->string (date-second now)) "_" (safe-string-take (number->string (date-nanosecond now)) 3 #\0)))) - (define (date-file-name prefix ext) (string-append prefix (if measure-non-chached? "-noncached" (if measure-flush? "-flush" "")) + (define (date-file-name prefix ext) (string-append prefix (if measure-non-cached? "-noncached" (if measure-flush? "-flush" "")) "-" (current-date-formatted) "." ext)) ; name -> call-count