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.
commented out some tests that require external tools (e.g. ghc)
authorblanchet
Thu, 25 Sep 2014 13:30:57 +0200
changeset 58442 039b54d9b5c4
parent 58441 c1b489999de9
child 58443 a23780c22245
commented out some tests that require external tools (e.g. ghc)
src/HOL/Datatype_Examples/Compat.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Datatype_Examples/Compat.thy	Thu Sep 25 13:30:57 2014 +0200
+++ b/src/HOL/Datatype_Examples/Compat.thy	Thu Sep 25 13:30:57 2014 +0200
@@ -40,10 +40,10 @@
 export_code old_len checking SML OCaml? Haskell? Scala
 
 lemma "Old_Nl = Old_Cns x xs"
-  nitpick [expect = genuine]
+  nitpick (* [expect = genuine] *)
   quickcheck [exhaustive, expect = counterexample]
   quickcheck [random, expect = counterexample]
-  quickcheck [narrowing, expect = counterexample]
+  quickcheck [narrowing (* , expect = counterexample *)]
   oops
 
 lemma "old_len xs = size xs"
isabelle