gesamt: erste (brauchbare) testfaelle

[testub10.git] / gesamt / lewurm_02.0

diff --git a/gesamt/lewurm_02.0 b/gesamt/lewurm_02.0
new file mode 100644 (file)
index 0000000..25eb517
--- /dev/null
+++ b/gesamt/lewurm_02.0
@@ -0,0 +1,13 @@
+method f(a)
+       var x := a--100;
+       var y := g(x);
+       y := y - 100 - (0-x);
+       return y;
+end;
+
+method g(b)
+       var x := 1;
+       var y := 2;
+       var z := -3;
+       return b-x-y-z;
+end;