descriptionYouve shown that data-driven (table) testing is easy using map and apply. The next logical evolutionary step for a Lisp-powered framework is Property-Based Testing (inspired by QuickCheck).
The Improvement: Add a property macro alongside test and suite.
How it looks:
Scheme
(property "Reverse of reverse is the original list"
#:generators (list gen-list)
#:thunk (lambda (xs)
(assert-equal #:expect xs #:got (reverse (reverse xs)))))
Veritas could automatically generate 100 random inputs, execute the assertion, and--if it fails--attempt to "shrink" the failing input to its smallest reproducible form. This aligns perfectly with your goal of verifying software robustness.veritas-362