search

DeepSec-prover / deepsec

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

Internal error was raised but Deepsec_api still running #51

Closed VincentCheval closed 4 years ago

VincentCheval commented 4 years ago

Occured on Scytl but the bug is a bit random.

I was using the API and received an internal error from deepsec_api but deepsec_api kept running (and so the status was still in progress). It seems to me that it was an error due to constraint solving, hence that occurred during the solving constraint.

VincentCheval commented 4 years ago 
Please report this error.
Message: [data_structure.ml >> UF.get_unique_unchecked_deduction_fact] There should be only one fact in the pattern to be checked

Occurs in fact in the attack simulator.

VincentCheval commented 4 years ago

Fix in 58553a6f2132fda17a5696eb495ad071254d4ffb