/***************************************************
 ** @author   STF 487
 ** @version  0.0.1
 ** @purpose  1:7, null value in an expression
 ** @verdict  pass reject
 ***************************************************/

// The following requirement is tested:
// With the exception of the equality and non-equality operators, the special
// value null shall not be used as an operand of expressions (see clause 7.1.3).

module NegSem_07_toplevel_005
{
    type component GeneralComp {
	}

    type integer address;

    testcase TC_NegSem_07_toplevel_005() runs on GeneralComp {
        var address v_addr := null;
        if (10 + v_addr != -1) { setverdict(pass); }
        else { setverdict(fail); }
	}

	control {
		execute(TC_NegSem_07_toplevel_005());
	}
}
