none

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

• It means that the test verdict has not been found out yet.

Related keywords:

• error
• fail
• getverdict
• inconc
• pass
• setverdict
• verdicttype

Example 1:

var verdicttype v_norra := none;

The variable called v_norra gets the initial value none.

BNF definition of none