Update BNW `axis-async-fifo-c4` test case so that we can both drive the DUT / infer transactions - #291

Merged

ekiwi merged 57 commits into

mainfrom

bnw-c4-drive-monitor

Jul 23, 2026

Commits on Jul 11, 2026

Update generate_runt_configs.py to add Runt test suite for bi
ngernest
committed
5995693
Update Justfile to run bi tests
ngernest
committed
42c80d5
Add auto-generated Runt BI config
ngernest
committed
15cb68a
Add expected test output for BI test cases
ngernest
committed
8ea4731
Formatting
ngernest
committed
c1cff14
Redirect stderr to stdout so that bi error messages appear in expected output files
ngernest
committed
d4c8557
Update auto-generated BI Runt config
ngernest
committed
d383c7b
Update some .expect files
ngernest
committed
1a6a54f
Add --color CLI arg to BI to suppress colors
ngernest
committed
87e6d3c
Pass --color never to BI when running Runt tests
ngernest
committed
2ed33f9
Update auto-generated Runt BI config
ngernest
committed
f2e9e3b
Update .expect files
ngernest
committed
cf63102
Register custom panic hook to suppress extraneous information from panic error messages
ngernest
committed
f4fc347
Update .expect file output
ngernest
committed
9efd6a4
Formatting
ngernest
committed
a1881e7
Add BI tests to CI
ngernest
committed
78ae7bb

Commits on Jul 18, 2026

Remove monitor code + test cases
ngernest
committed
f40648e
Update scripts for generating runt catalog
ngernest
committed
b5c4fe7
update readme to refer to BI instead of monitor
ngernest
committed
224ef81
Change .monitor.prot test cases to bi.prot
ngernest
committed
975ee63
Update case_stem function to refer to .bi suffix instead of .monitor
ngernest
committed
b0924d1
Regenerate Runt config
ngernest
committed
ec880b3
Merge branch 'main' into remove-monitor
ngernest
authored
469e496
update some outdated comments
ngernest
committed
c9f6f89
Add new FailureKind enum to BI
ngernest
committed
6b8765c
Error-handling for BI when fork is called before step
ngernest
committed
0f4cfe4
Update expect files for tests that previously panicked due to the 'fork before step' failure
ngernest
committed
146de93
Add --max-traces argument to the nested_busy_wait test case to avoid too many traces from showing up
ngernest
committed
3e355fd
Add --max-traces to push_pop_loop_empty test, update Runt expected output
ngernest
committed
571657d
Propagate --color CLI flag to diagnostic handler
ngernest
committed
b3c5f40
Update Runt expect files (error messages no longer contain color)
ngernest
committed
7cb7983
Fix remaining failing test case involving a panic due to unsupported time unit
ngernest
committed
3fd7b01
formatting
ngernest
committed
d259bee
Add one extra comment
ngernest
committed
bfd70aa

Commits on Jul 19, 2026

Add syntax highlighting to .bi.expect files
ngernest
committed
06559fc
Update Runt config to handle sharing the same .prot file for Brave New World test cases + excluding from graph interpreter
ngernest
committed
6bd6ff9
Add extra Verilog file to handle port renaming
ngernest
committed
027ab10
Combine c4_buggy/c4_fixed.prot into one file
ngernest
committed
7e04069
Add .tx files for interpreter
ngernest
committed
d7ee8eb
Fix type error in Python scripts
ngernest
committed
56dad4f
Update c4.prot
ngernest
committed
81bc369
Update c4.prot
ngernest
committed
7ebd372
Update expect test output
ngernest
committed
8d2041b
update expect test output
ngernest
committed
483685e
Update DUT files + waveform screenshot
ngernest
committed
37b8e6e
update waveform screenshot
ngernest
committed
9b62271
Update Runt config script
ngernest
committed
b2e53f3
Add a missing waveform.expect file
ngernest
committed
ce64dda
Add missing Runt expect file
ngernest
committed
10ccca5

Commits on Jul 20, 2026

Clean up .tx files
ngernest
committed
81e02fb
Update Runt expect tests
ngernest
committed
9830177

Commits on Jul 22, 2026

Commits on Jul 23, 2026

git mv s1 .expect files
ngernest
committed
462dccf