test: retire 911_attest_record; record-continue owned by test/package

This commit is contained in:
2026-08-08 13:47:16 +09:00
parent 15137054e2
commit 74c9243ca3
4 changed files with 48 additions and 258 deletions

View File

@@ -1,31 +0,0 @@
// @test fixture for #17 record-and-continue: a mix of one passing test,
// then the three runtime fault classes the lib/test fork+wait4 runner
// must each catch and PROCEED past (failed assert → SIGABRT, nil deref →
// SIGSEGV, divide-by-zero → SIGFPE), then a final passing test to prove
// the run reaches the tail after every failure. Driver:
// test/wcc/911_attest_record.c. The runner reports in source order, so
// the expected per-test verdicts are pinned positionally there.
package data;
@test fn rec_pass_a() void = {
assert(1 + 1 == 2);
};
@test fn rec_assert() void = {
assert(1 == 2);
};
@test fn rec_segv() void = {
let p: *i32 = nil: *i32;
*p = 7i32;
};
@test fn rec_div0() void = {
let z: i32 = 0;
let _: i32 = 1 / z;
};
@test fn rec_pass_b() void = {
assert(true);
};