Misleading error when ProVerif fails to execute
Summary
When ProVerif fails to execute, the "Security verification with ProVerif" dialog reports the error "ERROR: no properties to prove".
Steps to reproduce
Attempt to start the security verification of a valid project but an incorrect ProVerif path.
Example Project
Any project from the in-built repository from the "security" category.
What is the current bug behavior?
The error is misleading and may suggest an issue with the model. The logs do indicate the correct error that the execution of ProVerif failed.
What is the expected correct behavior?
The error should precisely state the source of the error and/or refer to the corresponding log file.