doc-src/IsarRef/Thy/HOL_Specific.thy

       An unknown configuration option is treated as an argument to tester,
       making @{text "tester ="} optional.
     \item[@{text size}] specifies the maximum size of the search space
     for assignment values.
 
+    \item[@{text eval}] takes a term or a list of terms and evaluates
+      these terms under the variable assignment found by quickcheck.
+    
     \item[@{text iterations}] sets how many sets of assignments are
     generated for each particular size.
 
     \item[@{text no_assms}] specifies whether assumptions in
     structured proofs should be ignored.