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

Nondeterministic results for koral #201

Open
yiming-tang-cs opened this issue Aug 28, 2018 · 0 comments
Open

Nondeterministic results for koral #201

yiming-tang-cs opened this issue Aug 28, 2018 · 0 comments

Comments

@yiming-tang-cs
Copy link
Contributor

When I used the same code to evaluate Koral, sometimes, the number of refactored streams is 5 and other times the number of refactored streams is 6.
Found this issue from #108

@khatchad khatchad changed the title Undetermined results for Koral Nondeterministic results for koral Aug 28, 2018
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