[gesamt] two new testcases

[testub10.git] / gesamt / skinner33_03.0

diff --git a/gesamt/skinner33_03.0 b/gesamt/skinner33_03.0
new file mode 100644 (file)
index 0000000..78e41f2
--- /dev/null
+++ b/gesamt/skinner33_03.0
@@ -0,0 +1,30 @@
+struct a end;
+
+method m1()
+       var x := 5;
+
+       return x - g();
+
+       return x;
+end;
+
+method m2()
+       var x := 5;
+
+       return g() - x;
+
+       return x;
+end;
+
+method m3()
+       var n := in();
+       return 3;
+end;
+
+method in()
+       a := a - (-1);
+end;
+
+method g()
+       return 2;
+end;