projects
/
testub10.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fbd57cb
)
Testcase bug
author
Martin Perner
<martin@perner.cc>
Tue, 18 May 2010 21:22:06 +0000
(23:22 +0200)
committer
Martin Perner
<martin@perner.cc>
Tue, 18 May 2010 21:22:06 +0000
(23:22 +0200)
codea/skinner33_17.call
patch
|
blob
|
history
diff --git
a/codea/skinner33_17.call
b/codea/skinner33_17.call
index 803f0219081c8b55cee16c98efd829b4dc2381d0..ae188f35a719aa3938aaaf931d0355872d110b1a 100644
(file)
--- 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 &&