diff options
Diffstat (limited to 'scripts/gen-data.rkt')
| -rw-r--r-- | scripts/gen-data.rkt | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/scripts/gen-data.rkt b/scripts/gen-data.rkt index 072af6d..0410bc6 100644 --- a/scripts/gen-data.rkt +++ b/scripts/gen-data.rkt @@ -27,6 +27,9 @@ (define (get-row lst n) (map (lambda (x) (string->number (nth x n))) lst)) +(define (get-row-string lst n) + (map (lambda (x) (nth x n)) lst)) + (define (get-slice lst) (get-row lst 2)) (define (get-delay lst) (get-row lst 9)) (define (get-cycles lst) (get-row lst 10)) @@ -52,18 +55,20 @@ (define time-ratio (open-output-file "./data/time-ratio.csv")) (display (table->string - (cons '("vericert" "vericert-fun") (for/list - ([i time-ratio-vericert-full-inlining] + (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 i j)))) + (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 '("vericert" "vericert-fun") (for/list - ([i slice-ratio-vericert-full-inlining] + (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 i j)))) + (list b i j)))) slice-ratio) (close-output-port slice-ratio) |