multicoretests icon indicating copy to clipboard operation
multicoretests copied to clipboard

Published 20 hours ago • verified publisher icon ocaml-multicore

Adapt custom Lin shrinker to STM

Open jmid opened this issue 2 years ago • 0 comments

#177 adds a custom shrinker for the multiple-ts branch, shrinking cmd lists from the tail. This heuristic could be adapted to STM too.

jmid avatar Nov 15 '22 15:11 jmid