Resolve issue 46 and 49

PKU-ASAL / SeeWasm

A native symbolic execution engine for WebAssembly

40 stars 4 forks source link

Closed HNYuuu closed 2 years ago

HNYuuu commented 2 years ago

Resolve bug and feature in issues 46 and 49, mainly about function name's issue.