diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 16:43:37 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 16:43:37 +0330 |
| commit | 98e2c7610e3e4dcaf4f1644f26f9979d1ffc929d (patch) | |
| tree | 09e03dc2a3414e8803be5a9eacab331ed752bfc8 /tests/parity.known | |
| parent | merge work/xref: zc0 gaps a-f (diff) | |
| parent | x86-64 jit: header comment and todo for inlined enhancements (diff) | |
merge work/jit2: x86-64 jit inline enhancements
Diffstat (limited to 'tests/parity.known')
| -rw-r--r-- | tests/parity.known | 1 |
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 |