I'm curious which improvement you're referring to

(deftest generative-tests
  (doseq [test-output (stest/check function-under-test {:gen gen-overrides
                                                        ::stc/opts {:num-tests 10}})]
    (testing (-> test-output :sym name)
      (is (true? (-> test-output ::stc/ret :result))))))

I do this, so previously it was just something like expected: true and actual: false

which is meaningless

but now it shows #error and dumps the error from spec

hmm