Errors in creation of test cases using Simulink Desing Verifier.

Hi Good day.

1. I'm facing the errors in the creation of Test cases using the Simulink Design verifier. The simulink design verifier results showing that no of objectives are not processed.
2. After the number of objectives are not processed, I've checked the each and every chart, its showing that the message as condition objectives are undecided/ Unsatisified and asking to Justify. Even after justification the number of objectives not processed and test harness is not created using the Design verifier app.
3. If the number of objectives are not processed in the diagnostic viewer i'm getting "Internal error in Simulink Design Verifier abstract interpretation back end" Error messsage.

"Any information to help rectify the Design Verifier error and proceed with test case generation would be greatly appreciated."

Note: Please find the attachements of respective errors images .

Answer 1

[Pat Canny]

I recommend contacting MathWorks Technical Support. This question requires more information.