Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

README update #24

Open
timmyyuan opened this issue Feb 15, 2020 · 1 comment
Open

README update #24

timmyyuan opened this issue Feb 15, 2020 · 1 comment

Comments

@timmyyuan
Copy link

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
Copy link
Owner

nickng commented Sep 2, 2020

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nickng @timmyyuan