Revert "Run math microbenchmark a few less times to reduce time"

e5437ac
egraphs-good · Oct 15, 2024 · 7bb841c · 7bb841c
1 parent e5437ac
commit 7bb841c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/math-microbenchmark.egg b/tests/math-microbenchmark.egg
@@ -64,7 +64,7 @@
                             (Div (Sub (Const (rational 1 1))
                                     (Sqrt (Var "five")))
                                 (Const (rational 2 1)))))
-(run 9)
+(run 11)
 (print-size Add)
 (print-size Mul)