[gesamt] Added ag/codea/codeb testcases

[testub10.git] / gesamt / codea_skinner33_19.0

diff --git a/gesamt/codea_skinner33_19.0 b/gesamt/codea_skinner33_19.0
new file mode 100644 (file)
index 0000000..3a12e4b
--- /dev/null
+++ b/gesamt/codea_skinner33_19.0
@@ -0,0 +1,31 @@
+method f1(a b)
+       return not(a or b);
+end;
+
+method f2(a b)
+       return not(not(a or b));
+end;
+
+method f3(a b)
+       return not(a - b);
+end;
+
+method f4(a b)
+       return not(not(a - b));
+end;
+
+method f5(a b)
+       return not(a < b);
+end;
+
+method f6(a b)
+       return not(not(a < b));
+end;
+
+method f7(a b)
+       return not(a = b);
+end;
+
+method f8(a b)
+       return not(not(a = b));
+end;