inconc

The keyword inconc denotes one of the distinguished values of verdicttype.

• It means that the outcome of the test is inconclusive, i.e., the test cannot assess whether the system under test behaves as it should or not..

Related keywords:

• error
• fail
• getverdict
• none
• pass
• setverdict
• verdicttype

Example 1:

var verdicttype v_porslin := inconc;

The variable called v_porslin gets the initial value inconc.

BNF definition of inconc