Empty objectives in Design Verifier
1 view (last 30 days)
Show older comments
I created a model in Simulink and i wished to prove a property using Design Verifier.
Here is a portion of the model:
The verification system is the following:
Design Verifier analysis starts correctly, but it tries to validate 27 objectives instead of 1 (it seems one for each output message in the chart above)
Also those objectives seem to be empty.
Is there a way to validate only my objective?
5 Comments
Pat Canny
on 18 Mar 2019
Hi Lorenzo,
This likely requires further digging. I don't know if we'll solve this via MATLAB Answers.
Do you mind contacting MathWorks Support? https://www.mathworks.com/support/contact_us.html?s_tid=sp_ban_cs
Answers (0)
See Also
Categories
Find more on Specify and Verify Design Requirements in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!