vbpf / prevail / 28332345478

push

github

Address automated review feedback

Keep Callx validation and dispatch on the same helper-id component by checking uvalue in FuncConstraint.

Document and assert that forget_type_dependent_values(Variable) is called on type variables, and cover stack-frame type variables in the unit test.

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

2 of 2 new or added lines in 2 files covered. (100.0%)

9138 of 10575 relevant lines covered (86.41%)

6471865.1 hits per line