From 197ebcbbbc9c8e597c2dcf0d88a7716b259e4ad8 Mon Sep 17 00:00:00 2001 From: chenyu Date: Fri, 6 Feb 2026 15:03:57 -0500 Subject: [PATCH] log seed with flush=True in fuzz_symbolic (#14597) * log seed with flush=True in fuzz_symbolic i think z3 can crash. added reading seed from argv to see if we repro later * fuzz_symbolic_symbolic_div --- test/external/fuzz_symbolic.py | 6 +++--- test/external/fuzz_symbolic_symbolic_div.py | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/test/external/fuzz_symbolic.py b/test/external/fuzz_symbolic.py index 7c06fc1285..045f07e164 100644 --- a/test/external/fuzz_symbolic.py +++ b/test/external/fuzz_symbolic.py @@ -1,12 +1,12 @@ -import random, operator +import random, operator, sys import z3 from tinygrad import Variable, dtypes from tinygrad.uop.ops import UOp from tinygrad.uop.validate import uops_to_z3 from tinygrad.helpers import DEBUG, Context -seed = random.randint(0, 100) -print(f"Seed: {seed}") +seed = int(sys.argv[1]) if len(sys.argv) > 1 else random.randint(0, 100) +print(f"Seed: {seed}", flush=True) random.seed(seed) unary_ops = [lambda a:a+random.randint(-4, 4), lambda a: a*random.randint(-4, 4), diff --git a/test/external/fuzz_symbolic_symbolic_div.py b/test/external/fuzz_symbolic_symbolic_div.py index 693eb37e66..7a70ee34ce 100644 --- a/test/external/fuzz_symbolic_symbolic_div.py +++ b/test/external/fuzz_symbolic_symbolic_div.py @@ -1,11 +1,11 @@ -import random +import random, sys import z3 from tinygrad.uop.ops import UOp, Ops from tinygrad.uop.validate import uops_to_z3 from tinygrad.helpers import DEBUG, Context, colored -seed = random.randint(0, 100) -print(f"Seed: {seed}") +seed = int(sys.argv[1]) if len(sys.argv) > 1 else random.randint(0, 100) +print(f"Seed: {seed}", flush=True) random.seed(seed) def get_random_term(ranges, factors):