Skip to content

temporarily remove dynamic call tracking#1295

Merged
hcoles merged 1 commit intomasterfrom
feature/disable_dynamic_call_tracking
Jan 23, 2024
Merged

temporarily remove dynamic call tracking#1295
hcoles merged 1 commit intomasterfrom
feature/disable_dynamic_call_tracking

Conversation

@hcoles
Copy link
Copy Markdown
Owner

@hcoles hcoles commented Jan 23, 2024

Temporarily #1274 until additional logic added to handle increased likelihood of filtering mutants to delayed execution code reported in #1291 is implemented.

@hcoles hcoles merged commit 3c5f4d9 into master Jan 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant