[gesamt] Added ag/codea/codeb testcases

[testub10.git] / gesamt / codea_skinner33_01.0

diff --git a/gesamt/codea_skinner33_01.0 b/gesamt/codea_skinner33_01.0
new file mode 100644 (file)
index 0000000..25fab69
--- /dev/null
+++ b/gesamt/codea_skinner33_01.0
@@ -0,0 +1,23 @@
+method w()
+       return not 0;
+end;
+
+method x()
+       return not (not 0);
+end;
+
+method y()
+       return not 3;
+end;
+
+method z()
+       return not (not 3);
+end;
+
+method aa()
+       return not (not (not 0));
+end;
+
+method ab()
+       return not (not (not 3));
+end;