Consider function coverage for blocks with calls

[misonijnik]

Fix only-output-states-covering-new and add cover-on-the-fly options.

[codecov-commenter]

Codecov Report

Merging #121 (a738ada) into main (f72486f) will increase coverage by 0.54%.
Report is 2 commits behind head on main.
The diff coverage is 83.33%.

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

@@            Coverage Diff             @@
##             main     #121      +/-   ##
==========================================
+ Coverage   65.64%   66.18%   +0.54%     
==========================================
  Files         213      214       +1     
  Lines       29020    29495     +475     
  Branches     6437     6522      +85     
==========================================
+ Hits        19049    19521     +472     
+ Misses       7508     7470      -38     
- Partials     2463     2504      +41     

Files Changed	Coverage Δ
include/klee/Expr/Constraints.h	50.00% <ø> (ø)
include/klee/Solver/IncompleteSolver.h	100.00% <ø> (ø)
include/klee/Solver/SolverImpl.h	50.00% <ø> (ø)
lib/Core/Executor.h	76.92% <ø> (ø)
lib/Core/ImpliedValue.cpp	0.00% <0.00%> (ø)
lib/Core/StatsTracker.cpp	79.68% <ø> (-0.11%)	⬇️
lib/Core/TimingSolver.h	100.00% <ø> (ø)
lib/Module/Target.cpp	54.83% <ø> (-1.08%)	⬇️
lib/Solver/SolverCmdLine.cpp	100.00% <ø> (ø)
lib/Solver/Z3Builder.cpp	28.57% <0.00%> (ø)
... and 34 more

... and 6 files with indirect coverage changes