Simulink Project Opens Multiple Copies when Simulink Design Verifier is Run

I created a simulink project with multiple models, main high level model, plant model and control model. It works fine. I added simulink design verifier to my project to verify some prepreties in the control model (SLDV is run on the control model only). I run simulink design verifier in property proving mode not in test generation. It generated the report. Then, whenever I open the project it opens many copies of the main model. I cleard the simulink cache folder and SLDV output folder but the problem still there. What am I missing here? I assume that SLDV creates multiple test scenarios to falsify the requirements but why they are called everytime I open the project even without calling the test harness?

[Pat Canny]

Hi Ahmed,

We are looking into this. I have asked the SLDV Development team to look into your question. Thanks for your question.

• Pat

Answer 1

[Bill Aldrich]

Hi Ahmed,

To better help you with this, can you answer a some questions about your environment:

1. What is the release of MATLAB that you are using?
2. Are you using Simulink Requirements?
3. Do you have any project startup shortcuts?

Thanks,

Bill

[Ahmed Elsayed]

What is the release of MATLAB that you are using?

2019b

Are you using Simulink Requirements?

No

Do you have any project startup shortcuts?

I selected to run the main model at startup, then removed it from startup. Both ways didn't affect the problem.

[Bill Aldrich]

Hi Ahmed,

Based on the problem description and answers you have provided it seems that you are experiencing some unanticipated behavior that may be a software bug. The most effective way we can help you is to provide more detailed support through our other support channels.

Bill