Create a playback command to make it easier to run Kani generated tests#2464

Merged

celinval merged 4 commits intomodel-checking:mainfrom celinval:issue-2440-play

May 24, 2023

+877-161

Commits on May 23, 2023

Commits on May 24, 2023