From b7dc798cfd25d93c814d15b465091c20d0a9663b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Tue, 5 May 2015 22:30:28 +0200 Subject: [PATCH] Comment the two slowest tests in mystery --- examples/mystery.ctt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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) -- 2.34.1