LucidPlan
login
projects
ui mode
🔗 go to
bewaking
byggsteg
carvoeiro-water-fun
consceal
emacs-packages
ggg
heks-emacs
heks-linux
hygguile
iter-vitae
jjba23-socials
jointhefreeworld
kracht
lucidplan
maak
mikemira
olive-css
orgwebalchemy
pingwing
scriba
uberprojekt
veritas
wikimusic
wolk-jjba
title
status
To-do
Work in Progress
In Review
Done
Rejected
type
Task
Bug
Story
Spike
Time Box
priority
assignee
description
Youve 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.
submit