プロパティ証明にて「​有効と判定」された場​合、harnessモ​デルを作成する方法は​ありますか。

Simulink Design Verifier (SLDV)のプロパティ証明にて「有効と判定」の結果となった場合、有効であることを保証するテストパターン（ Signal Builder ）を含む harness モデルを得る方法はありますか。

また、方法がないとすればそれはなぜですか。

（反証の場合は harness モデルを作成できますが、有効の場合は作成できない。有効の場合でもharnessモデルを作成したい。）

有効であることを証明する際に使用されるテストパターンを得ることが目的なので、取得できる形式がSignal Builderである必要はなく、MATファイル等の別のフォーマットでもかまいません。