aboutsummaryrefslogtreecommitdiff
path: root/tests/parity.known
diff options
context:
space:
mode:
authorGravatar zinc <zinc@downsta.ir> 2026-10-14 16:40:41 +0330
committerGravatar zinc <zinc@downsta.ir> 2026-10-14 16:40:41 +0330
commit25ce902e2d57d9fb3a0b44f71ef258cfb290a9b7 (patch)
treea636c4d0002f4edc9b0647315e09e95a77dae2da /tests/parity.known
parentcore: an enhancement's ld reads 0 past 2^32 in xexec too (mread took an int),... (diff)
x86-64 jit: inline enhancements (micro-ops lowered to registers, literal specialization, ZYNOENH=1 to call xrun); enh_ops test; jit_x64_test in test.sh
Diffstat (limited to 'tests/parity.known')
-rw-r--r--tests/parity.known1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/parity.known b/tests/parity.known
index 6892499..5ddbdf2 100644
--- a/tests/parity.known
+++ b/tests/parity.known
@@ -16,3 +16,4 @@ tests/programs/bench_strings.zc # reads the repeat count from stdin; with none,
# zc0 reads unbounded and ignores it, and emits no index checks at all
tests/programs/bounds_fixed.zc # bounds checks: only the self-hosted compiler checks a fixed array index
tests/programs/bounds_heap.zc # bounds checks: only the self-hosted compiler checks a pointer into a heap block
+tests/programs/bounds_proof.zc # bounds checks: zc0 emits none, so the variable-bound loop is as short as the unbounded one