ci: output json to directory
@@ -39,33 +39,33 @@ jobs:
- name: "Synthesize rational rules"
run: |
- cargo rational --iters 2 --variables 3 --num-fuzz 50 --do-final-run --outfile rat.json
- cargo run --release --bin rational derive --ci rat.json tests/rat.json out.json
+ cargo rational --iters 2 --variables 3 --num-fuzz 50 --do-final-run --outfile out/rat.json
+ cargo run --release --bin rational derive --ci out/rat.json tests/rat.json out/rat-derive.json
- name: "Synthesize rational rules (EMA)"
run: |
- cargo rational --iters 2 --variables 3 --ema-above-iter 1 --num-fuzz 50 --do-final-run --outfile rat-ema.json
- cargo run --release --bin rational derive --ci rat-ema.json tests/rat-ema.json out.json
+ cargo rational --iters 2 --variables 3 --ema-above-iter 1 --num-fuzz 50 --do-final-run --outfile out/rat-ema.json
+ cargo run --release --bin rational derive --ci out/rat-ema.json tests/rat-ema.json out/rat-ema-derive.json
- name: "Synthesize rational rules (EMA, no consts)"
run: |
- cargo rational --iters 2 --variables 3 --ema-above-iter 1 --no-constants-above-iter 1 --num-fuzz 50 --do-final-run --outfile rat-ema-no-const.json
- cargo run --release --bin rational derive --ci rat-ema-no-const.json tests/rat-ema-no-const.json out.json
+ cargo rational --iters 2 --variables 3 --ema-above-iter 1 --no-constants-above-iter 1 --num-fuzz 50 --do-final-run --outfile out/rat-ema-no-const.json
+ cargo run --release --bin rational derive --ci out/rat-ema-no-const.json tests/rat-ema-no-const.json out/rat-ema-no-const-derive.json
- name: "Synthesize bv4 rules"
run: |
- cargo bv4 --iters 2 --variables 3 --outfile bv4.json
- cargo run --release --bin bv4 derive --ci bv4.json tests/bv4.json out.json
+ cargo bv4 --iters 2 --variables 3 --outfile out/bv4.json
+ cargo run --release --bin bv4 derive --ci out/bv4.json tests/bv4.json out/bv4-derive.json
- name: "Synthesize bv32 rules"
run: |
- cargo bv32 --iters 2 --variables 3 --outfile bv32.json
- cargo run --release --bin bv32 derive --ci bv32.json tests/bv32.json out.json
+ cargo bv32 --iters 2 --variables 3 --outfile out/bv32.json
+ cargo run --release --bin bv32 derive --ci out/bv32.json tests/bv32.json out/bv32-derive.json
- 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 real.json
- cargo run --release --bin real-rat derive --ci --new-eqs real.json tests/real.json out.json
+ cargo real-rat --iters 2 --variables 3 --no-constants-above-iter 1 --prior-rules 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
# - name: "Synthesize complex rules from real rules (rule lifting, no constants)"
