[gesamt] Added ag/codea/codeb testcases

[testub10.git] / gesamt / codea_skinner33_02.0

diff --git a/gesamt/codea_skinner33_02.0 b/gesamt/codea_skinner33_02.0
new file mode 100644 (file)
index 0000000..03a1db6
--- /dev/null
+++ b/gesamt/codea_skinner33_02.0
@@ -0,0 +1,11 @@
+method w(a)
+       return not a;
+end;
+
+method x(a)
+       return not (not a);
+end;
+
+method y(a)
+       return not (not (not a));
+end;