Megatest

Check-in [5767dd8f0d]
Login
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: 5767dd8f0d98c49669d5f8bab7783b2d0b145d29
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
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*)