change random seed

Author: shashi

test/fuzz.jl

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

test/fuzzlib.jl

@@ -123,6 +123,7 @@ 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