"sorry // Cannot prove" in observational equivalence mode

30 views

Skip to first unread message

johwi801

unread,

Mar 18, 2022, 10:49:21 AM3/18/22

to tamarin-prover

Hi,

I recently encountered a case where I get the message "sorry // Cannot prove" when proving observational equivalence. There is no option to continue the proof, but there is also no attack trace shown. What does this mean?

Reply all

Reply to author

Forward

0 new messages