Block Level Search

[misonijnik]

No description provided.

[codecov-commenter]

Codecov Report

Merging #146 (ae50d15) into main (82b0cfd) will decrease coverage by 0.08%.
The diff coverage is 92.48%.

❗ Current head ae50d15 differs from pull request most recent head 9da90e2. Consider uploading reports for the commit 9da90e2 to get more accurate results

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #146      +/-   ##
==========================================
- Coverage   66.95%   66.88%   -0.08%     
==========================================
  Files         221      221              
  Lines       30054    30141      +87     
  Branches     6603     6620      +17     
==========================================
+ Hits        20123    20159      +36     
- Misses       7412     7450      +38     
- Partials     2519     2532      +13     

Files	Coverage Δ
include/klee/Module/KModule.h	82.85% <100.00%> (+1.03%)	⬆️
lib/Core/ExecutionState.cpp	74.28% <100.00%> (+0.27%)	⬆️
lib/Core/ExecutionState.h	92.85% <ø> (ø)
lib/Core/Searcher.h	100.00% <100.00%> (ø)
lib/Core/TargetedExecutionManager.cpp	67.31% <100.00%> (ø)
lib/Core/TargetedExecutionManager.h	100.00% <ø> (ø)
lib/Core/UserSearcher.cpp	81.81% <100.00%> (+0.64%)	⬆️
lib/Module/KModule.cpp	81.38% <100.00%> (-0.07%)	⬇️
lib/Solver/CexCachingSolver.cpp	66.09% <100.00%> (ø)
lib/Solver/ConcretizingSolver.cpp	58.38% <100.00%> (ø)
... and 5 more

... and 5 files with indirect coverage changes