microsoft/coyote

include the test method name in the schedule file

pdeligia opened this issue · 0 comments

To remove the need for someone to declare the method name again when they are trying to replay a schedule.