diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-01-17 16:59:49 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-01-17 17:01:15 +0000 |
| commit | 9b62f324ee03e36c2e15e00a1c6a801e0f08c8d5 (patch) | |
| tree | abfc0262886e3d18098ef539a2cd5ca6a260cc75 /scripts/gen-data.rkt | |
| parent | 2abfb6d62237fbc64d57b9a9a25db8ef166efcdd (diff) | |
| download | fccm22_rsvhls-9b62f324ee03e36c2e15e00a1c6a801e0f08c8d5.tar.gz fccm22_rsvhls-9b62f324ee03e36c2e15e00a1c6a801e0f08c8d5.zip | |
Fix data
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)) |