Skip to content

Commit

Permalink
fud2 Migrate main test suite (#2340)
Browse files Browse the repository at this point in the history 
Moving all tests in the root `runt.toml` to use `fud2`.
  • Loading branch information
@rachitnigam
rachitnigam authored Nov 6, 2024
1 parent f44cf8f commit 1e9e3b8
Showing 1 changed file with 76 additions and 87 deletions.
163 changes: 76 additions & 87 deletions runt.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -216,14 +216,13 @@ paths = [
"tests/correctness/ieee754-float/*.futil",
]
cmd = """
fud exec --from calyx --to jq \
--through verilog \
--through dat \
-s verilog.data {}.data \
-s calyx.exec './target/debug/calyx' \
-s verilog.cycle_limit 500 \
-s jq.expr ".memories" \
{} -q
fud2 --from calyx --to jq \
--through verilator \
-s sim.data={}.data \
-s calyx.exec='./target/debug/calyx' \
-s verilog.cycle_limit=500 \
-s jq.expr=".memories" \
{} -q
"""
timeout = 120

Expand All @@ -236,15 +235,14 @@ paths = [
"tests/correctness/static-interface/*.futil",
]
cmd = """
fud exec --from calyx --to jq \
--through verilog \
--through dat \
-s calyx.exec './target/debug/calyx' \
-s calyx.flags '-x tdcc:one-hot-cutoff=500 -d static-promotion' \
-s verilog.cycle_limit 500 \
-s verilog.data {}.data \
-s jq.expr ".memories" \
{} -q
fud2 --from calyx --to jq \
--through icarus \
-s calyx.exec='./target/debug/calyx' \
-s calyx.flags='-x tdcc:one-hot-cutoff=500 -d static-promotion' \
-s verilog.cycle_limit=500 \
-s sim.data={}.data \
-s jq.expr=".memories" \
{} -q
"""
timeout = 120

Expand All @@ -257,15 +255,14 @@ paths = [
"tests/correctness/static-interface/*.futil",
]
cmd = """
fud exec --from calyx --to jq \
--through verilog \
--through dat \
-s calyx.exec './target/debug/calyx' \
-s calyx.flags '-x tdcc:duplicate-cutoff=0 -d static-promotion' \
-s verilog.cycle_limit 500 \
-s verilog.data {}.data \
-s jq.expr ".memories" \
{} -q
fud2 --from calyx --to jq \
--through icarus \
-s calyx.exec='./target/debug/calyx' \
-s calyx.flags='-x tdcc:duplicate-cutoff=0 -d static-promotion' \
-s verilog.cycle_limit=500 \
-s sim.data={}.data \
-s jq.expr=".memories" \
{} -q
"""
timeout = 120

Expand All @@ -278,30 +275,28 @@ paths = [
"tests/correctness/static-interface/*.futil",
]
cmd = """
fud exec --from calyx --to jq \
--through verilog \
--through dat \
-s calyx.exec './target/debug/calyx' \
-s verilog.cycle_limit 500 \
-s verilog.data {}.data \
-s jq.expr ".memories" \
{} -q
fud2 --from calyx --to jq \
--through icarus \
-s calyx.exec='./target/debug/calyx' \
-s verilog.cycle_limit=500 \
-s sim.data={}.data \
-s jq.expr=".memories" \
{} -q
"""
timeout = 120

[[tests]]
name = "correctness static timing one-hot encoding"
paths = ["tests/correctness/static-interface/*.futil"]
cmd = """
fud exec --from calyx --to jq \
--through verilog \
--through dat \
-s calyx.exec './target/debug/calyx' \
-s calyx.flags '-x static-fsm-opts:one-hot-cutoff=500' \
-s verilog.cycle_limit 500 \
-s verilog.data {}.data \
-s jq.expr ".memories" \
{} -q
fud2 --from calyx --to jq \
--through icarus \
-s calyx.exec='./target/debug/calyx' \
-s calyx.flags='-x static-fsm-opts:one-hot-cutoff=500' \
-s verilog.cycle_limit=500 \
-s sim.data={}.data \
-s jq.expr=".memories" \
{} -q
"""
timeout = 120

Expand All @@ -310,15 +305,14 @@ timeout = 120
name = "correctness nested"
paths = ["tests/correctness/*.futil"]
cmd = """
fud exec --from calyx --to jq \
--through verilog \
--through dat \
-s verilog.data {}.data \
-s calyx.exec './target/debug/calyx' \
-s calyx.flags ' --nested' \
-s verilog.cycle_limit 500 \
-s jq.expr ".memories" \
{} -q
fud2 --from calyx --to jq \
--through icarus \
-s sim.data={}.data \
-s calyx.exec='./target/debug/calyx' \
-s calyx.flags=' --nested' \
-s verilog.cycle_limit=500 \
-s jq.expr=".memories" \
{} -q
"""
timeout = 120

Expand All @@ -332,14 +326,13 @@ paths = [
"tests/correctness/group-static-promotion/*.futil",
]
cmd = """
fud exec --from calyx --to jq \
--through verilog \
--through dat \
-s calyx.exec './target/debug/calyx' \
-s calyx.flags '-p all -d group2invoke' \
-s verilog.cycle_limit 500 \
-s verilog.data {}.data \
{} -q
fud2 --from calyx --to jq \
--through icarus \
-s calyx.exec='./target/debug/calyx' \
-s calyx.flags='-p all -d group2invoke' \
-s verilog.cycle_limit=500 \
-s sim.data={}.data \
{} -q
"""
timeout = 120

Expand All @@ -352,14 +345,13 @@ paths = [
"tests/correctness/group-static-promotion/*.futil",
]
cmd = """
fud exec --from calyx --to jq \
--through verilog \
--through dat \
-s calyx.exec './target/debug/calyx' \
-s calyx.flags '-p all -d group2invoke -x compile-static:one-hot-cutoff=500' \
-s verilog.cycle_limit 500 \
-s verilog.data {}.data \
{} -q
fud2 --from calyx --to jq \
--through icarus \
-s calyx.exec='./target/debug/calyx' \
-s calyx.flags='-p all -d group2invoke -x compile-static:one-hot-cutoff=500' \
-s verilog.cycle_limit=500 \
-s sim.data={}.data \
{} -q
"""
timeout = 120

Expand All @@ -371,37 +363,34 @@ paths = [
"tests/correctness/numeric-types/fixed-point/*.futil",
]
cmd = """
fud exec --from calyx --to jq \
--through dat \
--through verilog \
-s verilog.data {}.data \
-s jq.expr ".memories" \
{} -q
fud2 --from calyx --to jq \
--through icarus \
-s sim.data={}.data \
-s jq.expr=".memories" \
{} -q
"""

[[tests]]
name = "correctness test of static islands without static promotion"
paths = ["tests/correctness/static-islands/*.futil"]
cmd = """
fud exec --from calyx --to jq \
--through dat \
--through verilog \
-s verilog.data {}.data \
-s calyx.flags "-d static-promotion" \
-s jq.expr ".memories" \
{} -q
fud2 --from calyx --to jq \
--through icarus \
-s sim.data={}.data \
-s calyx.flags="-d static-promotion" \
-s jq.expr=".memories" \
{} -q
"""

[[tests]]
name = "[frontend] tcam testing"
paths = ["tests/correctness/tcam/*.futil"]
cmd = """
fud exec --from calyx --to jq \
--through verilog \
--through dat \
-s verilog.data {}.data \
-s jq.expr ".memories" \
{} -q
fud2 --from calyx --to jq \
--through icarus \
-s sim.data={}.data \
-s jq.expr=".memories" \
{} -q
"""

[[tests]]
Expand Down

0 comments on commit 1e9e3b8

Please sign in to comment.