tests: Add "postcondition with local result" test to increase coverage

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 0386292af934c4f56330e76da349ea603c3d4fb3..3fb9798e3d103b62755c0c5e94a406eba68db17b 100644 (file)
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -99,6 +99,7 @@ TESTS = \
        methods/closures.vala \
        methods/contains.vala \
        methods/iterator.vala \
+       methods/postcondition-local-result.vala \
        methods/prepostconditions.vala \
        methods/same-name.vala \
        methods/symbolresolution.vala \

diff --git a/tests/methods/postcondition-local-result.vala b/tests/methods/postcondition-local-result.vala
new file mode 100644 (file)
index 0000000..f5b5f62
--- /dev/null
+++ b/tests/methods/postcondition-local-result.vala
@@ -0,0 +1,8 @@
+public string foo () ensures (result.length >= 3) {
+       string result = "bar";
+       return result;
+}
+
+void main () {
+       assert (foo () == "bar");
+}