doc-src/IsarRef/Thy/HOL_Specific.thy

       @{text quickcheck_exhaustive_active}, @{text quickcheck_random_active},
       @{text quickcheck_narrowing_active} are set to true.
     \item[@{text size}] specifies the maximum size of the search space
     for assignment values.
 
+    \item[@{text genuine_only}] sets quickcheck only to return genuine
+      counterexample, but not potentially spurious counterexamples due
+      to underspecified functions.
+    
     \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.