Skip to content

add a time-base stopping criterion for runners#229

Merged
basnijholt merged 3 commits intomasterfrom feature/time-based-stopNov 21, 2019