104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
+
|
(prefix sqlite3 sqlite3:)
md5
message-digest
z3
directory-utils
sxml-serializer
sxml-modifications
format
debugprint
commonmod
configfmod
(prefix mtargs args:)
dbmod
dbfile
|
1416
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
1440
1441
|
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
|
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
+
|
t))
((DELETED) #f)
(else t)))))
tests))
;; move all the miscellanea into this struct
;;
(defstruct runs:gendat inc-results inc-results-last-update inc-results-fmt run-info runname target)
(define *runs:general-data*
(make-runs:gendat
inc-results: (make-hash-table)
inc-results-last-update: 0
inc-results-fmt: "~12a~12a~20a~12a~40a\n" ;; state status time duration test-name item-path
run-info: #f
runname: #f
target: #f
)
(defstruct runs:gendat
(inc-results (make-hash-table))
(inc-results-last-update 0)
(inc-results-fmt "~12a~12a~20a~12a~40a\n") ;; state status time duration test-name item-path
(run-info #f)
(runname #f)
(target #f))
)
(define *runs:general-data* (make-runs:gendat))
(define (runs:incremental-print-results run-id)
(let ((curr-sec (current-seconds))
(last-update (runs:gendat-inc-results-last-update *runs:general-data*)))
(if (> (- curr-sec last-update) 5) ;; at least five seconds since last update
(let* ((run-dat (or (runs:gendat-run-info *runs:general-data*)(rmt:get-run-info run-id)))
(runname (or (runs:gendat-runname *runs:general-data*)
|