Sizeless ObjectState + uninitialized memory support

[ocelaiwo]

No description provided.

[codecov-commenter]

Codecov Report

Merging #131 (793e1d7) into main (f1e8720) will increase coverage by 0.06%.
Report is 4 commits behind head on main.
The diff coverage is 72.20%.

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

@@            Coverage Diff             @@
##             main     #131      +/-   ##
==========================================
+ Coverage   66.43%   66.50%   +0.06%     
==========================================
  Files         215      216       +1     
  Lines       29671    29685      +14     
  Branches     6572     6567       -5     
==========================================
+ Hits        19712    19741      +29     
+ Misses       7447     7443       -4     
+ Partials     2512     2501      -11     

Files	Coverage Δ
include/klee/Expr/ArrayCache.h	60.00% <ø> (+20.00%)	⬆️
include/klee/Expr/Expr.h	81.60% <100.00%> (-0.41%)	⬇️
include/klee/Expr/Parser/Lexer.h	66.66% <ø> (ø)
include/klee/Module/KInstruction.h	100.00% <100.00%> (ø)
include/klee/Module/KModule.h	81.81% <ø> (ø)
include/klee/Solver/SolverUtil.h	61.16% <100.00%> (-0.16%)	⬇️
include/klee/Support/PrintContext.h	100.00% <100.00%> (ø)
lib/Core/AddressSpace.h	100.00% <ø> (ø)
lib/Core/Executor.h	76.92% <ø> (ø)
lib/Core/Memory.h	87.93% <100.00%> (+0.21%)	⬆️
... and 33 more

... and 6 files with indirect coverage changes