Add another type of known exception to fuzzer

shashi · shashi · commit 3e46893a0374 · 2020-12-15T19:45:29.000-05:00
diff --git a/test/fuzzlib.jl b/test/fuzzlib.jl
@@ -92,7 +92,8 @@ function gen_rand_expr(inputs;
     try
         return f(args...)
     catch err
-        if err isa DomainError || err isa DivideError || err isa MethodError
+        if err isa DomainError || err isa DivideError || err isa MethodError ||
+            err isa SymbolicUtils.SpecialFunctions.AmosException
             return gen_rand_expr(inputs,
                                  spec=spec,
                                  leaf_prob=leaf_prob,
