From d9a522cb1be164037e10a8d7bae6941a98aef011 Mon Sep 17 00:00:00 2001 From: Martin Perner Date: Tue, 18 May 2010 23:22:06 +0200 Subject: [PATCH] Testcase bug --- codea/skinner33_17.call | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/codea/skinner33_17.call b/codea/skinner33_17.call index 803f021..ae188f3 100644 --- a/codea/skinner33_17.call +++ b/codea/skinner33_17.call @@ -19,7 +19,7 @@ RET(f1(4,muh) == 25 && f3(5,muh) == 1 && f3(5,kuh) == 0 && f4(5,muh) == 1 && f4(5,kuh) == 0 && f5(5,muh) == 1 && f5(5,kuh) == 0 && - f6(6,muh) == 0 && f6(6,kuh) == 0 && + f6(6,muh) == 1 && f6(6,kuh) == 0 && f7(5,muh) == 1 && f7(5,kuh) == 0 && f8(5,muh) == 0 && f8(7,kuh) == 1 && f9(5,muh) == 1 && f9(5,kuh) == 0 && -- 2.25.1