Closed martijnbastiaan closed 3 months ago
Adds the ability to specify a wall-clock timeout to one iteration of propWithModel. This can help to hone in on specific inputs causing combinatorial loops.
propWithModel
Adds the ability to specify a wall-clock timeout to one iteration of
propWithModel. This can help to hone in on specific inputs causing combinatorial loops.