Fix Internal Function Summary Support (#20)#21

Open

tarasbob wants to merge 1 commit intoCertora:masterfrom

tarasbob:branch_merging

Commits on Jun 7, 2025

Fix internal function summary support for missing bytecode return types
tarasbob
committed