diff options
Diffstat (limited to 'scripts/gen-data.rkt')
| -rw-r--r-- | scripts/gen-data.rkt | 42 |
1 files changed, 23 insertions, 19 deletions
diff --git a/scripts/gen-data.rkt b/scripts/gen-data.rkt index 0410bc6..ca0e1fa 100644 --- a/scripts/gen-data.rkt +++ b/scripts/gen-data.rkt @@ -15,6 +15,12 @@ (close-input-port exec-csv) report)) +(define (write-file file data) + (with-output-to-file file + (lambda () + (display data)) + #:exists 'replace)) + (define (nth lst idx) (cond ((empty? lst) empty) ; more effiecent than (= (length lst) 0) ((= idx 0) (first lst)) @@ -53,22 +59,20 @@ (get-relative (mul-lists (get-delay vericert-full-inlining) (get-cycles vericert-full-inlining)) (mul-lists (get-delay bambu-results) (get-cycles bambu-results)))) -(define time-ratio (open-output-file "./data/time-ratio.csv")) -(display (table->string - (cons '("benchmark" "vericert" "vericert-fun") (for/list - ([b (get-row-string bambu-results 0)] - [i time-ratio-vericert-full-inlining] - [j time-ratio-vericert-fun]) - (list b i j)))) - time-ratio) -(close-output-port time-ratio) - -(define slice-ratio (open-output-file "./data/slice-ratio.csv")) -(display (table->string - (cons '("benchmark" "vericert" "vericert-fun") (for/list - ([b (get-row-string bambu-results 0)] - [i slice-ratio-vericert-full-inlining] - [j slice-ratio-vericert-fun]) - (list b i j)))) - slice-ratio) -(close-output-port slice-ratio) +(write-file "./data/time-ratio.csv" + (table->string + (cons '("benchmark" "vericert" "vericert-fun") + (for/list + ([b (get-row-string bambu-results 0)] + [i time-ratio-vericert-full-inlining] + [j time-ratio-vericert-fun]) + (list b i j))))) + +(write-file "./data/slice-ratio.csv" + (table->string + (cons '("benchmark" "vericert" "vericert-fun") + (for/list + ([b (get-row-string bambu-results 0)] + [i slice-ratio-vericert-full-inlining] + [j slice-ratio-vericert-fun]) + (list b i j))))) |