PKU-ASAL / SeeWasm

A native symbolic execution engine for WebAssembly
39 stars 4 forks source link

terminal can't show anything after I run python3 ./test.py #101

Closed xubenji closed 10 months ago

xubenji commented 10 months ago

I installed pure ubuntu20.04 and installed all requirements packages including wabt. When I run python3 test.py in the terminal I can't see any success info. Is it normal?

截屏2024-01-06 下午5 31 34
HNYuuu commented 10 months ago

Hi there. Sorry for the confusion. Actually we have updated the test.py file, and there will not be explicit log output if everything is OK. We will update the readme later.