Entry point multiplex, no nonstd::optional, no interactive mode

[ocelaiwo]

No description provided.

[codecov-commenter]

Codecov Report

Merging #164 (066cfb0) into main (3174244) will decrease coverage by 0.10%.
The diff coverage is 88.38%.

❗ Current head 066cfb0 differs from pull request most recent head 6fb2507. Consider uploading reports for the commit 6fb2507 to get more accurate results

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #164      +/-   ##
==========================================
- Coverage   69.48%   69.39%   -0.10%     
==========================================
  Files         210      210              
  Lines       30039    30103      +64     
  Branches     6670     6684      +14     
==========================================
+ Hits        20872    20889      +17     
- Misses       6633     6701      +68     
+ Partials     2534     2513      -21     

Files	Coverage Δ
include/klee-test-comp.c	26.15% <ø> (+1.51%)	⬆️
include/klee/Core/Interpreter.h	100.00% <100.00%> (ø)
include/klee/Module/SarifReport.h	88.23% <100.00%> (ø)
include/klee/Module/Target.h	97.22% <ø> (ø)
lib/Core/Executor.h	74.07% <ø> (ø)
lib/Core/TargetedExecutionManager.cpp	66.92% <100.00%> (-0.39%)	⬇️
lib/Core/TargetedExecutionManager.h	100.00% <ø> (ø)
lib/Core/Executor.cpp	73.92% <83.33%> (-0.52%)	⬇️
lib/Module/SarifReport.cpp	56.86% <76.66%> (+5.21%)	⬆️
tools/klee/main.cpp	64.25% <90.90%> (+3.04%)	⬆️

... and 9 files with indirect coverage changes