Fix `autoharness` termination test & print metadata in alphabetical order#3971

Merged

tautschnig merged 3 commits intomodel-checking:mainfrom

carolynzech:fix-autoharness-test

Apr 3, 2025

Commits on Apr 1, 2025

Split termination test into separate unwind and timeout tests
Carolyn Zech
committed
Chosen Function --> Selected Function
Carolyn Zech
committed
Print in alphabetical order
Carolyn Zech
committed