search

DeepSec-prover / deepsec

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

Internal Error #62

Closed steve-kremer closed 4 years ago

steve-kremer commented 4 years ago

The file below generates an internal error:

DeepSec - DEciding Equivalence Properties for SECurity protocols
    Version: 2.0.0-beta4
    Git hash: 2ccb435ab0141c73f68c614be14b13d267286dd8
    Git branch: master
    Website: https://deepsec-prover.github.io

Loading file test.txt...

Starting verification...

Starting verification of test.txt...
Verifying query 1...
Internal Error: [session_equivalence.ml >> apply_focus_phase.generate_transitions] Unexpected link : CCsys

test.txt