どのようspecman

にdut_warningにdut_errorをダウングレードする私は、私が期待する@ eventA-を使用していますテストを持っている>最終的に@eventB 他dut_errorどのようspecman

しかし、dut_warningおよびテスト合格としてdut_error私のテスト扱います。 specmanにすべてのdut_errorsをdut_warningsにダウングレードするランタイムスイッチはありますか？

はい、set_checkはエラーレベルを変更できます。すべてのチェックの効果を変更するための

extend sys { 
    setup() is also { 
     set_check("...", WARNING); 
    }; 
};

2016-06-26 04:13:02

ありがとう！私は何が私のテストをパスしているのだろうかと思っていた。 –

、あなたはまた、CAL

「設定のチェックWARNING」を発行し、私は他のもののうち、あなたが小切手に名前を付けることをお勧めします - それは、その効果を制御する簡素化します。

期待data_flowです@ eventA->その後、

とし...他に、最終的@eventB -

セットチェック-name = my_checker.data_flow WARNING。

あなたが期待する名前を付けると、それを無効にすることができます。

expect data_flow @ eventA-> {[3..13]; @eventB} else ...

2016-06-26 05:41:35 user3467290

これは役に立つヒントでした！他の方法が可能かどうか疑問に思う？つまり、set_checkをグローバルにWARNINGするだけですが、エラーとして1つのチェックを行います。私はそれを試してみる。 –

答えて