Comment the two slowest tests in mystery

diff --git a/examples/mystery.ctt b/examples/mystery.ctt
index 5712e1f3342877cab7399b41bd957231bfac233a..a93d68ad653807391827bcaf5ea96317c5f18266 100644 (file)
--- a/examples/mystery.ctt
+++ b/examples/mystery.ctt
@@ -77,10 +77,10 @@ test6 : Id (and Z Z) (mystery ((inr thirtyTwoN,inr sixteenN),(inr thirtyTwoN,inr
                      (inr sixtyFourN, inr thirtyTwoN) =
  <_> (inr sixtyFourN, inr thirtyTwoN)
 
-test7 : Id (and Z Z) (mystery ((inr sixtyFourN,inr sixteenN),(inr sixtyFourN,inr sixteenN)))
-                     (inr oneTwentyEightN, inr thirtyTwoN) =
- <_> (inr oneTwentyEightN, inr thirtyTwoN)
+-- test7 : Id (and Z Z) (mystery ((inr sixtyFourN,inr sixteenN),(inr sixtyFourN,inr sixteenN)))
+--                      (inr oneTwentyEightN, inr thirtyTwoN) =
+--  <_> (inr oneTwentyEightN, inr thirtyTwoN)
 
-test8 : Id (and Z Z) (mystery ((inr oneTwentyEightN,inr sixteenN),(inr oneTwentyEightN,inr sixteenN)))
-                     (inr twoFiftySixN, inr thirtyTwoN) =
- <_> (inr twoFiftySixN, inr thirtyTwoN)
+-- test8 : Id (and Z Z) (mystery ((inr oneTwentyEightN,inr sixteenN),(inr oneTwentyEightN,inr sixteenN)))
+--                      (inr twoFiftySixN, inr thirtyTwoN) =
+--  <_> (inr twoFiftySixN, inr thirtyTwoN)