/***************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:19.1, Ensure that the IUT properly evaluates assignment statements
 ** @verdict  pass  reject
 ***************************************************/
module NegSyn_1901_assignments_001 {

type component GeneralComp {
}

testcase TC_NegSyn_1901_assignments_001 () runs on GeneralComp system GeneralComp {
 var integer v_i;
 var integer v_j;
 var integer v_k;
 v_i:=1;
 v_k:=(v_j:=v_i);	//such sequential assignments are not allowed by the syntax

}


control{

    execute(TC_NegSyn_1901_assignments_001());

}

}
