Stub panics during MIR transformation#4169

Merged

AlexanderPortland merged 4 commits intomodel-checking:mainfrom

AlexanderPortland:panic-stubbing

Jun 23, 2025

Commits on Jun 19, 2025

Commits on Jun 20, 2025

add prefixes to panic stubbing test output
AlexanderPortland
committed