internal error with multiple rewrite rules

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols

GNU General Public License v3.0

17 stars 2 forks source link

internal error with multiple rewrite rules #74

Open irakoton opened 4 years ago

irakoton commented 4 years ago

DeepSec returns an internal error in some cases where two rewrite rules are defined for the same destructor. The attached file triggers Internal Error: [data_structure.ml >> IK.consequence_recipe] Unexpected link. and is reproducible on branches master and fix_bug_67_to_72

bug.txt