Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Issues
#205
Ensure that a key is not mapped more than one time in a mem with the same identifier
Otherwise, proverif fails to execute the generated spec.
Edited
Jan 14, 2021
by
Ludovic Apvrille