X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=testub10.git;a=blobdiff_plain;f=gesamt%2Fcodea_skinner33_17.call;fp=gesamt%2Fcodea_skinner33_17.call;h=ae188f35a719aa3938aaaf931d0355872d110b1a;hp=0000000000000000000000000000000000000000;hb=029401d51612c5e69d7ac8603e1b69cd7ed6ef96;hpb=bf19094ac2573112418701ba4c6abf5779e3a9f7

diff --git a/gesamt/codea_skinner33_17.call b/gesamt/codea_skinner33_17.call
new file mode 100644
index 0000000..ae188f3
--- /dev/null
+++ b/gesamt/codea_skinner33_17.call
@@ -0,0 +1,28 @@
+
+long f1(long, long*);
+long f2(long, long*);
+long f3(long, long*);
+long f4(long, long*);
+long f5(long, long*);
+long f6(long, long*);
+long f7(long, long*);
+long f8(long, long*);
+long f9(long, long*);
+long f10(long, long*);
+long f11(long, long*);
+
+long muh[] = {5, 6};
+long kuh[] = {6, 5};
+
+RET(f1(4,muh) == 25 &&
+	f2(5,muh) == 30 &&
+	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) == 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 &&
+	f10(5,muh) == 1 && f10(5,kuh) == 0 &&
+	f11(5,muh) == 1 && f11(5,kuh) == 0
+);