default-reason-args (list "~S did not satisfy ~S" v `',?satisfies)))
(t
(setf bindings '()
- effective-test test)))
+ effective-test test
+ default-reason-args "No reason supplied.")))
`(let ,bindings
(if ,effective-test
(add-result 'test-passed :test-expr ',test)