Skip to content

Move the dependencies from the submodules to build.sh#163

Merged
misonijnik merged 2 commits intomainfrom
misonijnik/remove-submodules
Dec 25, 2023
Merged

Move the dependencies from the submodules to build.sh#163
misonijnik merged 2 commits intomainfrom
misonijnik/remove-submodules

Conversation

@misonijnik
Copy link
Collaborator

No description provided.

@codecov-commenter
Copy link

codecov-commenter commented Dec 24, 2023

Codecov Report

Merging #163 (30d0ff7) into main (54b0620) will increase coverage by 1.81%.
Report is 4 commits behind head on main.
The diff coverage is 66.66%.

❗ Current head 30d0ff7 differs from pull request most recent head 902d910. Consider uploading reports for the commit 902d910 to get more accurate results

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #163      +/-   ##
==========================================
+ Coverage   67.66%   69.48%   +1.81%     
==========================================
  Files         224      210      -14     
  Lines       31379    30039    -1340     
  Branches     6888     6670     -218     
==========================================
- Hits        21233    20872     -361     
+ Misses       7536     6633     -903     
+ Partials     2610     2534      -76     
Files Coverage Δ
include/klee/Core/Context.h 100.00% <100.00%> (ø)
include/klee/Expr/Expr.h 82.38% <ø> (ø)
include/klee/Expr/SymbolicSource.h 79.33% <100.00%> (ø)
include/klee/Module/KValue.h 100.00% <100.00%> (ø)
lib/Core/ExecutionState.cpp 74.46% <100.00%> (+0.18%) ⬆️
lib/Core/Executor.h 74.07% <ø> (ø)
lib/Core/ExternalDispatcher.cpp 82.55% <100.00%> (ø)
lib/Core/StatsTracker.cpp 79.92% <100.00%> (ø)
lib/Core/TargetManager.cpp 95.40% <100.00%> (+0.02%) ⬆️
lib/Expr/SourceBuilder.cpp 80.00% <100.00%> (+1.56%) ⬆️
... and 22 more

... and 19 files with indirect coverage changes

@misonijnik misonijnik force-pushed the misonijnik/remove-submodules branch from 3892ee9 to db30028 Compare December 25, 2023 18:31
@misonijnik misonijnik force-pushed the misonijnik/remove-submodules branch from db30028 to 902d910 Compare December 25, 2023 19:07
@misonijnik misonijnik merged commit 3174244 into main Dec 25, 2023
@misonijnik misonijnik deleted the misonijnik/remove-submodules branch December 26, 2023 20:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants