Fix bug in getting source location.

PKU-ASAL / SeeWasm

A native symbolic execution engine for WebAssembly

40 stars 4 forks source link

Closed am009 closed 3 years ago

am009 commented 3 years ago

Fix bug in getting source location. Fix API of getting function index.