Stuart Cook
Stuart Cook
I noticed in https://github.com/HypothesisWorks/hypothesis/pull/2981#discussion_r639749792 that `test_learning_always_changes_generation` was running pretty slowly, but got *much* faster when I excluded `Phase.target` in the test settings. The test itself doesn't make any `target` calls,...
From https://github.com/HypothesisWorks/hypothesis/pull/1961#issuecomment-491491638 by @DRMacIver: > Counter-proposal: How about instead of this, we change the fundamental design of Hypothesis in order to support this very specific use case. `*very straight face*`...
# Proposal ## Short summary: - Make `-Cinstrument-coverage` an alias for `=yes` instead of `=all`. - Change the documented semantics of `=all` to allow for potential future changes (but leave...
Some of these tests were originally written as part of a custom `run-make` test, so at that time they weren't able to use the normal compiletest header directive parser. Now...
This is a combination of some loosely-related changes that touch the same code: 1. Make unexpansion of closure bodies more precise, by unexpanding back to the context of the closure...
This makes it possible for two nodes/edges in the coverage graph to share the same counter, without causing the instrumentor to inject unwanted duplicate counter-increment statements. --- @rustbot label +A-code-coverage
This patch also adds docs for `//@ llvm-cov-flags:`, and notes that coverage tests support revisions (though none of the current tests actually do so).
(This PR was substantially overhauled from its original version, which migrated all of the existing unstable values intact.) This PR takes the three nightly-only values that are currently accepted by...
(This is a review-ready version of the changes that were drafted in #118305.) This PR adds support for branch coverage instrumentation, gated behind the unstable flag value `-Zunstable-options -Cinstrument-coverage=branch`. During...
Open a console at (or equivalent). Run this program and inspect the result, and compare `out.result` with `out.shrunk.result`. ``` out = check( property( gen.posInt.then(x => ({ x })).then(c => gen.object({...