 (def t7 (TestCase [c6] [a3 a4]))
 
 (with-log
-  (let [results (run-test-case t7 {} lazy-strategy)]
+  (let [results (run-test-case t7 lazy-strategy)]
     (assert (= @*log* [:c6-open]))
     (dorun (result-seq results))
     (assert (= @*log* [:c6-open :a3 :a4]))))

  (run-tests [x] "Runs tests defined for the Namespace, Var, or TestCase."))

(defprotocol TestInvokable
  (invoke-test [t states active strategy]
               "(private) Executes the TestCase or Assertion."))

(extend-class clojure.lang.Fn TestInvokable
              (invoke-test [f states active strategy] (apply f states)))

;;; DATATYPES


(def t9 (TestCase [c6] [t7 t7]))

(with-log
  (let [results (run-test-case t9 lazy-strategy)]
    (assert (= @*log* [:c6-open]))
    (dorun (result-seq results))
    (assert (= @*log* [:c6-open :a3 :a4 :a3 :a4]))))
