Simplify the analysis of inference failures #214
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Codecov Report
@@ Coverage Diff @@
## master #214 +/- ##
==========================================
- Coverage 82.13% 80.62% -1.52%
==========================================
Files 9 9
Lines 1125 1321 +196
==========================================
+ Hits 924 1065 +141
- Misses 201 256 +55
Continue to review full report at Codecov.
|
fa60ddc to
273adb0
Compare
These new tools are designed to shield users from the complexity of Cthulhu. It attempts to hint at a potential resolution, or in the case of test suites short-circuit the need to do useless work analyzing inference triggers that derive from the test suite itself.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This adds new tools that essentially attempt to shield users from having to deal with Cthulhu. Even for experts, this may speed the processing of long lists of inference triggers, by using automated tools that take a first pass at the triggers to determine if some can be discarded.
Test coverage for
suggestis fairly poor, although that's a bit deliberate; I expect its recommendations to change a fair bit over time, and consequently I'm deferring detailed testing.suggestis explicitly marked as EXPERIMENTAL, and hence changes are viewed as non-breaking.This this the last of the changes I anticipate before making a new release.