From: Martin Perner <martin@perner.cc>
Date: Tue, 18 May 2010 21:22:06 +0000 (+0200)
Subject: Testcase bug
X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=testub10.git;a=commitdiff_plain;h=d9a522cb1be164037e10a8d7bae6941a98aef011

Testcase bug
---

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 &&