Variable: *NUM-TRIALS*

Documentation

Number of times we attempt to run the body of the FOR-ALL test.

Source

(defparameter *num-trials* 100
  "Number of times we attempt to run the body of the FOR-ALL test.")