# HG changeset patch # User bulwahn # Date 1310978061 -7200 # Node ID 59ba3dbd14004412fd988b67d2090d5baacf717e # Parent aacbe67793c38f7271fdab6074c39b6c8596310d quickcheck does not deactivate testers if none are given diff -r aacbe67793c3 -r 59ba3dbd1400 src/Tools/quickcheck.ML --- a/src/Tools/quickcheck.ML Mon Jul 18 10:34:21 2011 +0200 +++ b/src/Tools/quickcheck.ML Mon Jul 18 10:34:21 2011 +0200 @@ -233,7 +233,8 @@ map snd (filter (fn (active, _) => Config.get ctxt active) testers) end -fun set_active_testers testers gen_ctxt = +fun set_active_testers [] gen_ctxt = gen_ctxt + | set_active_testers testers gen_ctxt = let val registered_testers = (fst o fst o Data.get) gen_ctxt in