ProVerifCodeDirectory path not updated when a new model/project is opened.
Summary
When we want to do a security verification with ProVerif, the ProVerifCodeDirectory path is only updated once even after opening different model or project.
Steps to reproduce
- Open a security model from the TTOOL repository.
- Click on "Synthax analysis" then on "Check Syntax".
- Click on "Security verification (ProVerif)".
- Observe the ProVerifCodeDirectory path in the "Generate ProVerif code in:". It should be like "TTool/modeling/<model_name>/proverif/"
- Open an other security model from the TTOOL repository.
- Click on "Synthax analysis" then on "Check Syntax".
- Click on "Security verification (ProVerif)".
- Observe the ProVerifCodeDirectory path in the "Generate ProVerif code in:". It shouldn't have changed : "TTool/modeling/<previous_model_name>/proverif/", instead of being : "TTool/modeling/<new_model_name>/proverif/"
What is the current bug behavior?
When opening two projects from TTOOL repository (previous and new), the second ProVerifCodeDirectory path is : "TTool/modeling/<previous_model_name>/proverif/"
What is the expected correct behavior?
It should be "TTool/modeling/<new_model_name>/proverif/"