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.