Hi, In the current implementation of getTraps() it should be impossible to create such a case as getTraps builds the information from the blocks. Therefore, unfortunately this validator is not needed in SootUp anymore - but lets add it for completeness sake and if someone creates another StmtGraph implementation that works differently/e.g. like Soot.
We should add a comment then, that implementations based on the MutableBlockStmtGraph should not need this validator.

Codecov Report

Attention: Patch coverage is 35.71429% with 9 lines in your changes are missing coverage. Please review.

Project coverage is 69.87%. Comparing base (e63dc81) to head (a15ce99).

@@              Coverage Diff              @@
##             develop     #872      +/-   ##
=============================================
- Coverage      69.88%   69.87%   -0.01%     
- Complexity      4039     4044       +5     
=============================================
  Files            310      310              
  Lines          15248    15261      +13     
  Branches        2605     2609       +4     
=============================================
+ Hits           10656    10664       +8     
- Misses          3735     3738       +3     
- Partials         857      859       +2     

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