Improve IndependentConstraintSetUnion

[misonijnik]

No description provided.

[codecov-commenter]

Codecov Report

Merging #124 (5878a2c) into main (026da46) will increase coverage by 0.10%.
Report is 1 commits behind head on main.
The diff coverage is 89.24%.

❗ Current head 5878a2c differs from pull request most recent head 3c4a8fc. Consider uploading reports for the commit 3c4a8fc to get more accurate results

@@            Coverage Diff             @@
##             main     #124      +/-   ##
==========================================
+ Coverage   66.32%   66.42%   +0.10%     
==========================================
  Files         214      215       +1     
  Lines       29581    29636      +55     
  Branches     6541     6572      +31     
==========================================
+ Hits        19619    19686      +67     
+ Misses       7451     7434      -17     
- Partials     2511     2516       +5     

Files	Coverage Δ
include/klee/Expr/Constraints.h	50.00% <ø> (ø)
include/klee/Expr/IndependentSet.h	67.50% <ø> (ø)
lib/Core/ExecutionState.h	93.33% <100.00%> (ø)
lib/Expr/IndependentConstraintSetUnion.cpp	95.45% <100.00%> (+3.37%)	⬆️
lib/Solver/IndependentSolver.cpp	71.69% <100.00%> (-2.33%)	⬇️
include/klee/ADT/Incremental.h	92.15% <80.00%> (ø)
lib/Core/CXXTypeSystem/CXXTypeManager.cpp	71.67% <66.66%> (-0.21%)	⬇️
lib/Expr/Constraints.cpp	77.91% <93.75%> (+0.10%)	⬆️
lib/Solver/CachingSolver.cpp	64.67% <50.00%> (-2.00%)	⬇️
include/klee/ADT/Either.h	94.59% <94.59%> (ø)
... and 2 more

... and 10 files with indirect coverage changes