Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
changing quickcheck_timeout to 30 seconds in mutabelle's testing
authorbulwahn
Thu, 22 Sep 2011 10:48:53 +0200
changeset 45040 8570623e3b6d
parent 45039 632a033616e9
child 45041 0523a6be8ade
changing quickcheck_timeout to 30 seconds in mutabelle's testing
src/HOL/Mutabelle/lib/Tools/mutabelle file | annotate | diff | comparison | revisions 
--- a/src/HOL/Mutabelle/lib/Tools/mutabelle	Thu Sep 22 07:26:53 2011 +0200
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle	Thu Sep 22 10:48:53 2011 +0200
@@ -83,6 +83,8 @@
   \"$MUTABELLE_HOME/mutabelle_extra.ML\"
 begin
 
+declare [[quickcheck_timeout = 30]]
+
 ML {*
 val mtds = [
   MutabelleExtra.quickcheck_mtd (Context.proof_map (Quickcheck.set_active_testers [\"random\"])) \"random\",
isabelle