Closed dmarottoli closed 5 years ago
At the Readme some command line are not up to date, for example the command
dingo-hunter infer example/local-deadlock/main.go --no-logging --output deadlock.migo
should be
dingo-hunter migo examples/local-deadlock/main.go --no-logging --output deadlock.migo
At the Readme some command line are not up to date, for example the command
dingo-hunter infer example/local-deadlock/main.go --no-logging --output deadlock.migo
should be
dingo-hunter migo examples/local-deadlock/main.go --no-logging --output deadlock.migo