/***************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:11.1, Variables should be assigned only by values
 ** @verdict  pass reject
 ***************************************************/
module NegSem_1101_ValueVars_001 {
    type component GeneralComp {}

	testcase TC_NegSem_1101_ValueVars_001() runs on GeneralComp {
  		var integer v_i := ?; // ? is not a value
        setverdict(pass);
	}

    control {
        execute(TC_NegSem_1101_ValueVars_001());
    }
}