Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Issues
#28
Proverif specification generation fails if the target directory does not exist .... but the user is not informed of this failure