kani
kani copied to clipboard
Det playback: Add ability to auto-remove generated test cases
See title. This would improve the user experience if we consider generated test cases to be short-lived. We could either remove all generated test cases or only test cases without a certain label.