diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 16:11:35 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 16:11:35 +0330 |
| commit | 72664ccc9429a5438f4592dbb170ed1596523504 (patch) | |
| tree | b6ec8f9f1c6ffe8ae28888710acfde7d9e8a58cf /tests/programs/enh_ops.zc | |
| parent | merge bounds checking (diff) | |
test: a constant loop bound drops the fixed-array bounds check (bounds_proof)
Diffstat (limited to 'tests/programs/enh_ops.zc')
0 files changed, 0 insertions, 0 deletions