From 89c1d5db0b9f0ce79e75d1738f9c1fe811a3452d Mon Sep 17 00:00:00 2001 From: rschoene <rene.schoene@tu-dresden.de> Date: Mon, 26 Oct 2015 15:10:29 +0100 Subject: [PATCH] Now no more stupid mistakes.. --- scheme.properties | 14 +++++++------- utils.scm | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/scheme.properties b/scheme.properties index 2fb18ca..adbaed5 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 d20b7f5..9900797 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 -- GitLab