File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2626 run : uv tool install turnt
2727
2828 - name : Build Rust implementation
29- run : cargo build
29+ run : cargo build --features cli --bin raig
3030
3131 - name : Install C AIGER
3232 run : |
Original file line number Diff line number Diff line change 3838 run : cargo test --all
3939
4040 - name : Build debug binary
41- run : cargo build
41+ run : cargo build --features cli --bin raig
4242
4343 - name : Run AIGER snapshot tests
4444 run : turnt -e raw -e opt tests/inputs/*.aag
Original file line number Diff line number Diff line change 11[envs .raw ]
2- command = " ../target/debug/aig dot {filename}"
2+ command = " ../target/debug/raig dot {filename}"
33out_dir = " ../aiger/outputs"
44output."raw.dot" = " -"
55
66[envs .opt ]
7- command = " ../target/debug/aig dot {filename} --pre-optimize"
7+ command = " ../target/debug/raig dot {filename} --pre-optimize"
88out_dir = " ../aiger/outputs"
99output."opt.dot" = " -"
1010
1111# [envs.rust]
12- # command = "../target/debug/aig simulate {filename} inputs/{base}.stim"
12+ # command = "../target/debug/raig simulate {filename} inputs/{base}.stim"
1313# out_dir = "../simulation/outputs"
1414# output.sim = "-"
1515#
@@ -20,6 +20,6 @@ output."opt.dot" = "-"
2020
2121[envs .outputs ]
2222command = '''
23- bash -c 'diff -u <(../target/debug/aig simulate {filename} inputs/{base}.stim | cut -d" " -f3) <(aigsim {filename} inputs/{base}.stim | grep -v "^Trace is a witness for:" | cut -d" " -f3)'
23+ bash -c 'diff -u <(../target/debug/raig simulate {filename} inputs/{base}.stim | cut -d" " -f3) <(aigsim {filename} inputs/{base}.stim | grep -v "^Trace is a witness for:" | cut -d" " -f3)'
2424'''
2525output = {}
You can’t perform that action at this time.
0 commit comments