Problem with the design verifier Simulink

I want to exract counter examples from my model but an error has encoured that I didn't understand it.

• Model "model" is set to import initial state data from the matlab workspace.Simulink Design Verifier does not support this configuration.You must uncheck the initial state in the load from workspace area of the Data.
• Simulink Design Verifier failed to initialize: is incompatible with simulink Design Verifier.

The problem that mymodel doesn't contain a block from workspace or from File. Please I need a help.

Answer 1

[Sebastian Castro]

If you go to Simulation > Model Configuration Parameters, then go to the Data Import/Export section, there should be an "Initial State" checkbox (2nd option in that menu).

Unchecking that should get rid of the issue -- assuming you don't need to use that option for other simulations.

- Sebastian

[Nedra Ebdelli]

Thank you. It work!!

Nedra