search

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols
GNU General Public License v3.0
17 stars 2 forks source link

Internal error when swapping channels #64

Closed irakoton closed 4 years ago

irakoton commented 4 years ago

The following file triggers the internal error:

Internal Error: [process.ml >> retrieve_transition_list] Unexpected case.

Strangely the error depends on whether we want to verify equivalence of P,Q or Q,P.

bug.txt