fix rule lifting test
@@ -67,7 +67,7 @@ jobs:
- name: "Synthesize real rules from rational rules (rule lifting)"
run: |
- cargo real-rat --iters 2 --variables 3 --no-constants-above-iter 1 --prior-rules rat.json --outfile out/real.json
+ cargo real-rat --iters 2 --variables 3 --no-constants-above-iter 1 --prior-rules out/rat.json --outfile out/real.json
cargo run --release --bin real-rat derive --ci --new-eqs out/real.json tests/real.json out/real-derive.json
# Need to filter out rational rules from real rules
