Specialize to egglog

Author: pavpanchekha

.github/workflows/unit-test.yml

@@ -60,7 +60,7 @@ jobs:
 
       # Test egglog mode
       - name: "Run Herbie with egglog"
-        run: racket -y infra/ci.rkt --enable generate:egglog --seed 0 bench/hamming/trigonometry.fpcore
+        run: racket -y infra/ci.rkt --egglog --seed 0 bench/hamming/trigonometry.fpcore
 
       # Test the egg-herbie Rust code
       - run: cd egg-herbie && cargo clippy --tests

infra/ci.rkt

@@ -101,6 +101,7 @@
                 (define given-seed (read (open-input-string rs)))
                 (when given-seed
                   (set-seed! given-seed))]
+   [("--egglog") (enable-flag! 'generate 'egglog)]
    [("--platform") platform "Which platform to use for tests" (*platform-name* platform)]
    [("--precision") prec "Which precision to use for tests" (*precision* (string->symbol prec))]
    [("--num-iters")