Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Issues
#40
Avatar to Proverif translation fails when signal of different blocks and exchanged on private channes have the same identifier
example_signal.xml