Skip to content

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 13 commits into from
Jul 11, 2024
Merged

Conversation

S1eGa
Copy link
Collaborator

@S1eGa S1eGa commented Mar 25, 2024

@S1eGa S1eGa force-pushed the compile-warnings-fixes branch 9 times, most recently from ec93e35 to a157de5 Compare March 26, 2024 15:26
@codecov-commenter
Copy link

codecov-commenter commented Mar 26, 2024

Codecov Report

Merging #178 (b6456d5) into main (0b10fe7) will increase coverage by 0.01%.
The diff coverage is 34.48%.

❗ Current head b6456d5 differs from pull request most recent head 9976e39. Consider uploading reports for the commit 9976e39 to get more accurate results

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     
Files Coverage Δ
lib/Core/ExecutionState.cpp 71.02% <ø> (-0.81%) ⬇️
lib/Core/ObjectManager.h 100.00% <100.00%> (ø)
lib/Core/SpecialFunctionHandler.cpp 73.37% <ø> (-0.17%) ⬇️
lib/Expr/IndependentConstraintSetUnion.cpp 95.90% <100.00%> (ø)
lib/Module/KModule.cpp 78.07% <100.00%> (ø)
lib/Module/ModuleUtil.cpp 58.78% <ø> (+12.25%) ⬆️
lib/Solver/IndependentSolver.cpp 71.69% <100.00%> (ø)
lib/Solver/Z3BitvectorBuilder.cpp 82.94% <ø> (ø)
tools/klee/main.cpp 65.70% <100.00%> (+0.03%) ⬆️
include/klee/ADT/ImmutableTree.h 87.65% <0.00%> (-0.43%) ⬇️
... and 18 more

... and 2 files with indirect coverage changes

@misonijnik
Copy link
Collaborator

misonijnik commented Apr 8, 2024

I did rebase there, so you may use it to update the PR.

@S1eGa S1eGa force-pushed the compile-warnings-fixes branch from 9976e39 to ea801c0 Compare July 10, 2024 18:02
@S1eGa S1eGa requested a review from misonijnik July 10, 2024 18:03
@S1eGa S1eGa marked this pull request as ready for review July 10, 2024 18:03
@S1eGa S1eGa force-pushed the compile-warnings-fixes branch from ea801c0 to 18999c4 Compare July 10, 2024 18:06
@S1eGa S1eGa force-pushed the compile-warnings-fixes branch from 18999c4 to 6c73052 Compare July 10, 2024 18:09
@S1eGa S1eGa force-pushed the compile-warnings-fixes branch 3 times, most recently from 93b68d0 to de5bd50 Compare July 10, 2024 20:45
@S1eGa S1eGa force-pushed the compile-warnings-fixes branch from de5bd50 to a72c4db Compare July 10, 2024 20:53
@S1eGa S1eGa force-pushed the compile-warnings-fixes branch 2 times, most recently from b9d0d61 to 55fce73 Compare July 11, 2024 12:58
@S1eGa S1eGa force-pushed the compile-warnings-fixes branch from 55fce73 to 21a4ca9 Compare July 11, 2024 13:09
@misonijnik misonijnik added the enhancement New feature or request label Jul 11, 2024
@misonijnik misonijnik merged commit 24156e1 into UnitTestBot:main Jul 11, 2024
26 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants