Autoharness: Update Filtering Options#4025

Merged

carolynzech merged 8 commits intomodel-checking:mainfrom

carolynzech:autoharness-filter-std

Apr 17, 2025

Commits on Apr 17, 2025

move autoharness compiler flags to kani_compiler_flags
Carolyn Zech
committed
print crate in output tables
Carolyn Zech
committed
change arguments to no longer be exclusive; make --exclude take precedence
Carolyn Zech
committed
allow filtering by crate in the backend
Carolyn Zech
committed
only print summary table if there's data to show
Carolyn Zech
committed
add test for --exclude-pattern precedence; warn if --exclude pattern overrides an --include
Carolyn Zech
committed
update book documentation
Carolyn Zech
committed
try exporting bash shell specifically for ubuntu failures
Carolyn Zech
committed