// @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);
};