diff options
Diffstat (limited to 'scripts/gen-data.rkt')
-rw-r--r-- | scripts/gen-data.rkt | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/scripts/gen-data.rkt b/scripts/gen-data.rkt index ca0e1fa..0b5707f 100644 --- a/scripts/gen-data.rkt +++ b/scripts/gen-data.rkt @@ -26,9 +26,11 @@ ((= idx 0) (first lst)) (else (nth (rest lst) (- idx 1))))) -(define bambu-results (cdr (parse-csv "./data/bambu-area.csv"))) -(define vericert-full-inlining (cdr (parse-csv "./data/vericert-full-inlining.csv"))) -(define vericert-fun (cdr (parse-csv "./data/vericert-fun.csv"))) +(define (lt-list s1 s2) (string<? (car s1) (car s2))) + +(define bambu-results (sort (cdr (parse-csv "./data/bambu-area.csv")) lt-list)) +(define vericert-full-inlining (sort (cdr (parse-csv "./data/vericert-full-inlining.csv")) lt-list)) +(define vericert-fun (sort (cdr (parse-csv "./data/vericert-fun.csv")) lt-list)) (define (get-row lst n) (map (lambda (x) (string->number (nth x n))) lst)) |