Fix: regression test from #3888 has version control change#3892

Merged

carolynzech merged 4 commits intomodel-checking:mainfrom

carolynzech:fix-test

Feb 19, 2025

Commits on Feb 17, 2025

restore file after adding concrete playback test
Carolyn Zech
committed
use temp file instead of git restore
Carolyn Zech
committed

Commits on Feb 18, 2025

Apply suggestions from code review

Carolyn Zech
and
tautschnig
authored
pipe to true on commands we expect to fail
Carolyn Zech
committed