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

Det playback: Support adding det tests for multiple harnesses

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

We currently require there to be only one harness when adding det tests to the source code. This feature fixes that.

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