test

src/test/resources/regressions/examples/disableNL.gobra

@@ -0,0 +1,11 @@
+// Any copyright is dedicated to the Public Domain.
+// http://creativecommons.org/publicdomain/zero/1.0/
+
+package pkg
+
+requires 0 <= x && x <= 10
+requires 0 <= y && y <= 10
+ensures 0 <= res && res <= 100 // would fail with --disableNL
+func f(x, y int) (res int) {
+	return x * y
+}