Enable concrete playback for contract and stubs#3389

Merged

celinval merged 13 commits intomodel-checking:mainfrom celinval:issue-3383-contract-playback

Jul 31, 2024

+279-79

Commits on Jul 26, 2024

Commits on Jul 27, 2024

Fix clippy
celinval
authored

Commits on Jul 29, 2024

Commits on Jul 30, 2024