conformance: port the previous agent's suite, fix six expectations, add sections 5 to 8 and appendix b, known.txt, zc0 skips, wire into test.sh

1 files changed, 6 insertions, 0 deletions

diff --git a/tests/conformance/6-ownership/u_must_leave.zc b/tests/conformance/6-ownership/u_must_leave.zc
new file mode 100644
index 0000000..147d64f
--- /dev/null
+++ b/tests/conformance/6-ownership/u_must_leave.zc
@@ -0,0 +1,6 @@
+// expect error: p: u object must leave this block
+// spec 6.7
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() { int* p = rt.new(2); p[0] = 1; u*p; return 0; }
+// zc0: skip