From: Anders Mörtberg <mortberg@chalmers.se>
Date: Tue, 5 May 2015 20:30:28 +0000 (+0200)
Subject: Comment the two slowest tests in mystery
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=b7dc798cfd25d93c814d15b465091c20d0a9663b;p=cubicaltt.git

Comment the two slowest tests in mystery
---

diff --git a/examples/mystery.ctt b/examples/mystery.ctt
index 5712e1f..a93d68a 100644
--- 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)