forked from klee/klee
-
Notifications
You must be signed in to change notification settings - Fork 10
Compile warnings fixes #178
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
Merged
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
ec93e35
to
a157de5
Compare
Codecov Report
Additional details and impacted files@@ Coverage Diff @@
## main #178 +/- ##
==========================================
+ Coverage 69.81% 69.82% +0.01%
==========================================
Files 225 226 +1
Lines 31256 31231 -25
Branches 6897 6876 -21
==========================================
- Hits 21822 21808 -14
+ Misses 6848 6836 -12
- Partials 2586 2587 +1
|
I did rebase there, so you may use it to update the PR. |
9976e39
to
ea801c0
Compare
…d reduntant include paths for runtime. Turned ON -Werror.
ea801c0
to
18999c4
Compare
18999c4
to
6c73052
Compare
…ed reduntant includes.
93b68d0
to
de5bd50
Compare
de5bd50
to
a72c4db
Compare
b9d0d61
to
55fce73
Compare
55fce73
to
21a4ca9
Compare
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.
#179