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

diff --git a/gesamt/codea_skinner33_16.0 b/gesamt/codea_skinner33_16.0
new file mode 100644
index 0000000..ddec0ea
--- /dev/null
+++ b/gesamt/codea_skinner33_16.0
@@ -0,0 +1,33 @@
+struct foo bar end;
+
+method f1(a)
+	return not(this-a.bar);
+end;
+
+method f2(a)
+	return not(a.foo);
+end;
+
+method f3(a)
+	return not(not(a.foo));
+end;
+
+method f4(a)
+	return not(a.bar);
+end;
+
+method f5(a)
+	return not(not(a.bar));
+end;
+
+method f6(a)
+	return not(not(a.foo - a.bar));
+end;
+
+method f7(a)
+	return not(not(a.foo * a.bar));
+end;
+
+method f8(a)
+	return not(this*a.bar);
+end;