Simulink design verifier stops after building model representation

I am using Design verifier toolbox to generate test cases for my test harness.

When I start the process by clicking Generate tests button, the process stops like the picture below.

The test case generation process should proceed further, checking compatibility with compatilble or incompatible and start generating testcases.

Instead, the process just stops and produces no output.

Are there any reasons for this behavior? I cant find what is causing this problem.

[Pat Canny]

Hi @Junhyung,

How did you create the test harness?

Answer 1

[Pat Canny]

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