search

nickng / dingo-hunter

Static analyser for finding Deadlocks in Go
Apache License 2.0
316 stars 28 forks source link

README update #24

Open timmyyuan opened 4 years ago

timmyyuan commented 4 years ago

I ran dingo-hunter in CFSMs mode following README. The command ./runsmc.py inputs/deadlock_cfsms 2 was done but there is no SMC check in the terminal. Does README need to be updated？

屏幕快照 2020-02-14 下午4 09 39
nickng commented 4 years ago

I'm not entirely sure but it should display the result in this screen. It's been a while I've used the tool but in case it helps, you'll need to build the gmc-synthesis tool in using the dingo branch which has the SMC check not in master branch.