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.
make Nitpick's tests not leave files in the temp directory
authorblanchet
Thu, 07 Jan 2010 08:45:55 +0100
changeset 34287 16496e04ca46
parent 34286 951aa92d06bb
child 34288 cf455b5880e1
make Nitpick's tests not leave files in the temp directory
src/HOL/Tools/Nitpick/nitpick_tests.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Wed Jan 06 23:18:44 2010 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Thu Jan 07 08:45:55 2010 +0100
@@ -322,7 +322,7 @@
 
 (* string -> unit *)
 fun run_test name =
-  case Kodkod.solve_any_problem true NONE 0 1
+  case Kodkod.solve_any_problem false NONE 0 1
            [problem_for_nut @{context} name
                             (the (AList.lookup (op =) tests name))] of
     Kodkod.Normal ([], _) => ()
isabelle