CryptoAnalysis icon indicating copy to clipboard operation
CryptoAnalysis copied to clipboard

getAllTransitions() doesn't return all possible correct transitions

Open rakshitkr opened this issue 4 years ago • 0 comments

The method getAllTransitions in StateMachineGraph is currently unable to handle multiple initial transitions like in SSLParameters rule. Additionally, it is doesn't return expected transitions when | operator is used in ORDER section.

This issue is same as the one created in CogniCrypt repo.

rakshitkr avatar Dec 07 '20 03:12 rakshitkr