-
Notifications
You must be signed in to change notification settings - Fork 260
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
feat: Execution branch coverage report #4755
Merged
robin-aws
merged 17 commits into
dafny-lang:master
from
robin-aws:runtime-coverage-report
Nov 9, 2023
Merged
feat: Execution branch coverage report #4755
robin-aws
merged 17 commits into
dafny-lang:master
from
robin-aws:runtime-coverage-report
Nov 9, 2023
Commits on Nov 7, 2023
-
Configuration menu - View commit details
-
Copy full SHA for a70859f - Browse repository at this point
Copy the full SHA a70859fView commit details
Commits on Nov 8, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 4bc558f - Browse repository at this point
Copy the full SHA 4bc558fView commit details -
Improve coverage report formatting, hook up to stdlibs, start to impr…
…ove stdlib coverage
Configuration menu - View commit details
-
Copy full SHA for b1254a4 - Browse repository at this point
Copy the full SHA b1254a4View commit details -
Configuration menu - View commit details
-
Copy full SHA for fb55df8 - Browse repository at this point
Copy the full SHA fb55df8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 99ff54b - Browse repository at this point
Copy the full SHA 99ff54bView commit details -
Configuration menu - View commit details
-
Copy full SHA for b1f5da6 - Browse repository at this point
Copy the full SHA b1f5da6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 084f928 - Browse repository at this point
Copy the full SHA 084f928View commit details -
Configuration menu - View commit details
-
Copy full SHA for ed93db2 - Browse repository at this point
Copy the full SHA ed93db2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 46d7331 - Browse repository at this point
Copy the full SHA 46d7331View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6f2a5d4 - Browse repository at this point
Copy the full SHA 6f2a5d4View commit details -
Configuration menu - View commit details
-
Copy full SHA for b0b7fc5 - Browse repository at this point
Copy the full SHA b0b7fc5View commit details -
Configuration menu - View commit details
-
Copy full SHA for e40be50 - Browse repository at this point
Copy the full SHA e40be50View commit details
Commits on Nov 9, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 06a9068 - Browse repository at this point
Copy the full SHA 06a9068View commit details -
Configuration menu - View commit details
-
Copy full SHA for 87aa068 - Browse repository at this point
Copy the full SHA 87aa068View commit details -
Configuration menu - View commit details
-
Copy full SHA for 55616a1 - Browse repository at this point
Copy the full SHA 55616a1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9262299 - Browse repository at this point
Copy the full SHA 9262299View commit details -
Merge branch 'master' of https://github.com/dafny-lang/dafny into run…
…time-coverage-report
Configuration menu - View commit details
-
Copy full SHA for 64ac12d - Browse repository at this point
Copy the full SHA 64ac12dView commit details
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.