try a different seed

Author: shashi

test/fuzz.jl

@@ -2,7 +2,7 @@ include("fuzzlib.jl")
 
 using Random: seed!
 
-seed!(6174)
+seed!(8259)
     @time @testset "expand fuzz" begin
         for i=1:500
             i % 100 == 0 && @info "expand fuzz" iter=i

test/fuzzlib.jl

@@ -93,8 +93,6 @@ function gen_rand_expr(inputs;
                           depth=depth+1,
                           min_depth=min_depth,
                           max_depth=max_depth) for i in 1:arity]
-    @show f
-    @show args
     try
         return f(args...)
     catch err
@@ -123,7 +121,6 @@ function fuzz_test(ntrials, spec, simplify=simplify;kwargs...)
     inputs = Set()
     expr = gen_rand_expr(inputs; spec=spec, kwargs...)
     inputs = collect(inputs)
-    @show expr
     code = try
         SymbolicUtils.Code.toexpr(expr)
     catch err
@@ -142,12 +139,9 @@ function fuzz_test(ntrials, spec, simplify=simplify;kwargs...)
     """
     f = include_string(Main, unsimplifiedstr)
     g = include_string(Main, simplifiedstr)
-    @show unsimplifiedstr
-    @show simplifiedstr
 
     for i=1:ntrials
         args = [spec.input(i) for i in inputs]
-        @show args
         unsimplified = try
             Base.invokelatest(f, args...)
         catch err