We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Available in 1.4
You can ask that a prerequisite throw an exception when it's called:
(unfinished f) (defn counter [n] (try (f n) (catch Exception ex 0))) (fact (counter 4) => 0 (provided (f 4) =throws=> (NullPointerException.)))