Skip to content

Commit

Permalink
Merge pull request #1064 from joakim-brannstrom/mutate-fixes
Browse files Browse the repository at this point in the history
mutate: fix timeout handling when changing the mutation operator
  • Loading branch information
joakim-brannstrom committed Mar 28, 2020
2 parents 4aa79ff + 1d8570d commit ced94cb
Showing 1 changed file with 5 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -262,6 +262,11 @@ struct TimeoutFsm {

void opCall(Done) {
global.ctx.state = MutantTimeoutCtx.State.done;
// must reset in case the mutation testing reach the end and is
// restarted with another mutation operator type than previously
global.ctx.iter = 0;
global.ctx.worklistCount = 0;

output.done = true;
}

Expand Down

0 comments on commit ced94cb

Please sign in to comment.