/***************************************************
 ** @author   STF 521
 ** @version  0.0.1
 ** @purpose  1:11.1, Variables should be assigned only by values
 ** @verdict pass accept, ttcn3verdict:pass
 ***************************************************/

//formerly: NegSem_1101_ValueVars_006

module Sem_1101_ValueVars_006 {
    type component GeneralComp {}

	testcase TC_Sem_1101_ValueVars_006() runs on GeneralComp {
  		var integer v_i := 1;
        var @lazy integer v_j := v_i + 2;

        v_i := v_j;
        if(v_i == 3){
        setverdict(pass);
        }
        else{
          setverdict(fail);
        }


	}

    control {
        execute(TC_Sem_1101_ValueVars_006());
    }
}