TeamVoss / VossII

The source code to the Voss II Hardware Verification Suite
Apache License 2.0
53 stars 13 forks source link

fix: fix the case for builtin #24

Closed tianrui-wei closed 9 months ago

tianrui-wei commented 10 months ago

This fixes an issue where previously builtin functions could show up with a clickable link that links to builtin, causing a crash when it's clicked. Checking help for get_arity function would reproduce this issue.