Overview
| Comment: | Missing package and minor cleanup |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | v1.80-revolution-remodularization |
| Files: | files | file ages | folders |
| SHA1: |
5767dd8f0d98c49669d5f8bab7783b2d |
| User & Date: | matt on 2024-02-05 06:56:29 |
| Other Links: | branch diff | manifest | tags |
Context
|
2024-02-05
| ||
| 11:43 | Merged fork check-in: 7ecfa2b7e3 user: mrwellan tags: v1.80-revolution-remodularization | |
| 06:56 | Missing package and minor cleanup check-in: 5767dd8f0d user: matt tags: v1.80-revolution-remodularization | |
| 06:29 | wip check-in: beed66ac0d user: matt tags: v1.80-revolution-remodularization | |
Changes
Modified runsmod.scm from [4580b82d76] to [8832b594a9].
| ︙ | ︙ | |||
104 105 106 107 108 109 110 111 112 113 114 115 116 117 | (prefix sqlite3 sqlite3:) md5 message-digest z3 directory-utils sxml-serializer sxml-modifications debugprint commonmod configfmod (prefix mtargs args:) dbmod dbfile | > | 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 | t)) ((DELETED) #f) (else t))))) tests)) ;; move all the miscellanea into this struct ;; | < < < | | | | | | | | < > | 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 (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*)
|
| ︙ | ︙ |