kani icon indicating copy to clipboard operation
kani copied to clipboard
verified publisher icon model-checking

Det playback: Rename exe trace to det playback

Open sanjit-bhat opened this issue 3 years ago • 0 comments

See title. Exe trace was the old name, but det playback is more representative of the feature right now.

sanjit-bhat avatar Aug 11 '22 18:08 sanjit-bhat