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.

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

dot format cannot represent the whole graph #11

Open
weishengkui opened this issue Oct 3, 2022 · 0 comments
Open

dot format cannot represent the whole graph #11

weishengkui opened this issue Oct 3, 2022 · 0 comments

Comments

@weishengkui
Copy link

weishengkui commented Oct 3, 2022

Thank you for your great work. But I have a question.
To reconstruct the whole graph , I try to use dot output .dt file , but it seems that this format loss the final value.
For example:
ban => b/1 + a/109 + n/306 which is not true , when compared to the dumped format.
Because dumped format has a final state value, like:

State: 785381 (0xbfbe5) final (2887)

So, why .dt format loss the last value(2887)?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant