fixing issues during visualization

BurtonQin / lockbud

Statically detect memory, concurrency bugs and possible panic locations for Rust.

BSD 3-Clause "New" or "Revised" License

445 stars 25 forks source link

Closed songlh closed 2 years ago

songlh commented 2 years ago

some small fixes for the issues we encountered during visualization.