Define different function for concrete playback (no user impact)#2407

tautschnig merged 5 commits into

model-checking:mainmodel-checking/kani:mainfrom

celinval:issue-2383-playbackcelinval/kani-dev:issue-2383-playbackCopy head branch name to clipboard