feat: improve case-split heuristic used in grind
#6431
Triggered via pull request
January 15, 2025 23:56
leodemoura
labeled
#6658
Status
Skipped
Total duration
2s
Artifacts
–