Simulink Project Opens Multiple Copies when Simulink Design Verifier is Run

5 次查看（过去 30 天）
Ahmed Elsayed
Ahmed Elsayed 2019-12-5
评论： Bill Aldrich 2019-12-9
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?
  1 个评论
Pat Canny
Pat Canny 2019-12-6
Hi Ahmed,
We are looking into this. I have asked the SLDV Development team to look into your question. Thanks for your question.
  • Pat

请先登录，再进行评论。

请先登录，再回答此问题。

回答（1 个）

Bill Aldrich
Bill Aldrich 2019-12-6
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
  2 个评论
Ahmed Elsayed
Ahmed Elsayed 2019-12-6
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
Bill Aldrich 2019-12-9
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

请先登录，再进行评论。

类别

在 Help Center 和 File Exchange 中查找有关 Dependency Analysis 的更多信息

标签

产品


版本

R2019b

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by