Nightly-2023-09-10

[hermanventer]

Description

Nightly-2023-09-10

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• API change with a documentation update
• Additional test coverage
• Code cleanup or just keeping up with the latest Rustc nightly

How Has This Been Tested?

./validate.sh

[codecov]

Codecov Report

Merging #1251 (d1229b8) into main (dec7ca9) will increase coverage by 0%.
Report is 1 commits behind head on main.
The diff coverage is 75%.

@@          Coverage Diff          @@
##            main   #1251   +/-   ##
=====================================
  Coverage     74%     74%           
=====================================
  Files         23      23           
  Lines      16828   16795   -33     
=====================================
+ Hits       12547   12592   +45     
+ Misses      4281    4203   -78     

Files	Coverage Δ
checker/src/abstract_value.rs	76% <100%> (+<1%)	⬆️
checker/src/block_visitor.rs	75% <50%> (+<1%)	⬆️

... and 15 files with indirect coverage changes

📣 Codecov offers a browser extension for seamless coverage viewing on GitHub. Try it in Chrome or Firefox today!