(ql:quickload :abcl-prove)

(asdf:load-system :abcl-prove)
(time 
 (asdf:test-system :abcl-prove/t))

;;; also works as :abcl/t under some definitions