Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Mirabelle/Tools/mirabelle_quickcheck.ML
changeset 67405 e9ab4ad7bd15
parent 67399 eab6ce8368fa 
--- a/src/HOL/Mirabelle/Tools/mirabelle_quickcheck.ML	Thu Jan 11 12:32:07 2018 +0100
+++ b/src/HOL/Mirabelle/Tools/mirabelle_quickcheck.ML	Thu Jan 11 13:48:17 2018 +0100
@@ -12,7 +12,7 @@
 
 fun run args id ({pre, timeout, log, ...}: Mirabelle.run_args) =
   let
-    val has_valid_key = member (=) ["iterations", "size", "generator"] o fst
+    val has_valid_key = member (op =) ["iterations", "size", "generator"] o fst
     val quickcheck = Quickcheck.quickcheck (map (apsnd single) (filter has_valid_key args)) 1
   in
     (case Timeout.apply timeout quickcheck pre of
isabelle