From 39f99b207a632e0ce7e889457d57706dfd36285c Mon Sep 17 00:00:00 2001 From: chenyu Date: Tue, 30 Dec 2025 12:25:55 -0500 Subject: [PATCH] update IGNORE_OOB error message (#13904) IGNORE_OOB=1 to disable --- tinygrad/uop/validate.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tinygrad/uop/validate.py b/tinygrad/uop/validate.py index af5b6af29b..ceedb5924f 100644 --- a/tinygrad/uop/validate.py +++ b/tinygrad/uop/validate.py @@ -70,7 +70,7 @@ def validate_index(buf:UOp, idx:UOp, gate:UOp|None=None): # WEBGPU has a BITCAST in the index. TODO: fix if any(x.op is Ops.BITCAST for x in idx.toposort()): return True - if not z3_imported: raise ImportError("z3 >= 4.12.4 is required for bounds checking, try IGNORE_OOB=0 or \"pip install 'z3-solver>=4.12.4\"") + if not z3_imported: raise ImportError("bounds checking requires z3 >= 4.12.4, use IGNORE_OOB=1 to disable, or \"pip install 'z3-solver>=4.12.4\"") solver = z3.Solver(ctx=z3.Context()) z3_idx, z3_mask = uops_to_z3(solver, idx, gate) solver.add(z3_mask)