Fixes pack

[misonijnik]

No description provided.

[codecov-commenter]

Codecov Report

Merging #149 (2a710e3) into main (8865af3) will increase coverage by 0.11%.
The diff coverage is 83.62%.

❗ Current head 2a710e3 differs from pull request most recent head d1370f7. Consider uploading reports for the commit d1370f7 to get more accurate results

@@            Coverage Diff             @@
##             main     #149      +/-   ##
==========================================
+ Coverage   66.88%   66.99%   +0.11%     
==========================================
  Files         219      220       +1     
  Lines       29950    29929      -21     
  Branches     6598     6587      -11     
==========================================
+ Hits        20031    20051      +20     
+ Misses       7412     7364      -48     
- Partials     2507     2514       +7     

Files	Coverage Δ
include/klee/ADT/DisjointSetUnion.h	87.30% <100.00%> (-1.04%)	⬇️
include/klee/ADT/Either.h	95.83% <100.00%> (+1.23%)	⬆️
include/klee/Expr/Expr.h	82.38% <100.00%> (+0.15%)	⬆️
include/klee/Expr/IndependentSet.h	70.45% <100.00%> (+2.95%)	⬆️
include/klee/Expr/Symcrete.h	95.12% <100.00%> (+0.12%)	⬆️
include/klee/Module/TargetHash.h	100.00% <ø> (ø)
lib/Core/ExecutionState.cpp	73.64% <100.00%> (-0.19%)	⬇️
lib/Core/Searcher.cpp	79.21% <100.00%> (-0.74%)	⬇️
lib/Core/TargetCalculator.h	100.00% <ø> (ø)
lib/Core/TargetManager.cpp	95.37% <100.00%> (ø)
... and 12 more

... and 4 files with indirect coverage changes