Replies: 1 comment
-
|
Can you try this with the new P version? and report back again? |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
If you download and compile this project and this dependency
And then execute this test:
pmc POutput/netcoreapp3.1/Raft.dll -m PImplementation.TestRaftAsync.Execute -i 1 -vThe trace shows that the execution is constantly stopping to then continue some more steps and finally stop again. This continues forever.
Is it possible that the model checking tool is having a hard time to find the next step?
Beta Was this translation helpful? Give feedback.
All reactions