test: CHECK

[ajnavarro]

Contributors' checklist...

• Added new tests, or not needed, or not feasible
• Provided an example (e.g. screenshot) to aid review or the PR is self-explanatory
• Updated the official documentation or not needed
• No breaking changes were made, or a BREAKING CHANGE: xxx message was included in the description
• Added references to related issues and PRs
• Provided any useful hints for running manual tests
• Added new benchmarks to generated graphs, if any. More info here.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 49.02%. Comparing base (aa2a0da) to head (cec5f3c).

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2142      +/-   ##
==========================================
- Coverage   49.03%   49.02%   -0.01%     
==========================================
  Files         576      576              
  Lines       77556    77556              
==========================================
- Hits        38030    38025       -5     
- Misses      36441    36446       +5     
  Partials     3085     3085              

Flag	Coverage Δ
misc/genstd	73.90% <ø> (ø)
misc/goscan	0.00% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.