Intergration with Cooddy

[Columpio]

No description provided.

[codecov-commenter]

Codecov Report

Merging #112 (d5ac1b3) into main (37f0da6) will decrease coverage by 9.38%.
Report is 1 commits behind head on main.
The diff coverage is 64.01%.

❗ Current head d5ac1b3 differs from pull request most recent head 934dd5d. Consider uploading reports for the commit 934dd5d to get more accurate results

@@            Coverage Diff             @@
##             main     #112      +/-   ##
==========================================
- Coverage   66.44%   57.06%   -9.38%     
==========================================
  Files         215      221       +6     
  Lines       29635    36049    +6414     
  Branches     6570     8349    +1779     
==========================================
+ Hits        19690    20572     +882     
- Misses       7433    12863    +5430     
- Partials     2512     2614     +102     

Files	Coverage Δ
include/klee/Core/Interpreter.h	100.00% <100.00%> (ø)
include/klee/Expr/IndependentSet.h	67.50% <ø> (ø)
include/klee/Expr/SymbolicSource.h	72.79% <100.00%> (+2.63%)	⬆️
include/klee/Module/KInstruction.h	100.00% <ø> (ø)
include/klee/Module/Target.h	97.22% <100.00%> (ø)
lib/Core/ExecutionState.cpp	73.83% <ø> (ø)
lib/Core/Executor.h	76.92% <ø> (ø)
lib/Core/SpecialFunctionHandler.h	0.00% <ø> (ø)
lib/Core/TargetedExecutionReporter.cpp	82.60% <100.00%> (-0.73%)	⬇️
lib/Expr/ExprUtil.cpp	90.81% <100.00%> (+0.49%)	⬆️
... and 20 more

... and 37 files with indirect coverage changes