diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps index 9fba8e2b..4a463b29 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps @@ -12,6 +12,8 @@ + + @@ -26,6 +28,9 @@ + + + @@ -35,14 +40,33 @@ + + + + + + + + + + + + + + + + + + + @@ -51,25 +75,68 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -120,16 +187,41 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -159,8 +251,20 @@ - - + + + + + + + + + + + + + + @@ -227,8 +331,20 @@ - - + + + + + + + + + + + + + + @@ -261,7 +377,7 @@ - + @@ -295,8 +411,20 @@ - - + + + + + + + + + + + + + + @@ -397,7 +525,7 @@ - + @@ -539,6 +667,234 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +