Commit a4a90ed8 authored by stancakapost's avatar stancakapost
Browse files

No commit message 

No commit message
parent 03e9403b

11_variables/1101_value_variables/NegSem_1101_ValueVars_001.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -8,7 +8,7 @@ module NegSem_1101_ValueVars_001 { 
    type component GeneralComp {}

    

	testcase TC_NegSem_1101_ValueVars_001() runs on GeneralComp {

  		var integer cl_i := ?; // ? is not a value

  		var integer v_i := ?; // ? is not a value

        setverdict(pass);

	}

11_variables/1101_value_variables/NegSyn_1101_ValueVars_001.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -5,5 +5,5 @@ 
 ** @verdict  pass reject

 ***************************************************/

module NegSyn_1101_ValueVars_001 {

    var integer c_i1 := 5;

    var integer v_i1 := 5;

}
 
 No newline at end of file

11_variables/1101_value_variables/Sem_1101_ValueVars_001.ttcn

+6 −6
Original line number Diff line number Diff line
@@ -7,22 +7,22 @@ 
module Sem_1101_ValueVars_001 {

    type component GeneralComp {

        timer t;

        var integer cv_i1 := 10;

        var integer vc_i1 := 10;

    }

    

    altstep a_Sem_1101_ValueVars_001() runs on GeneralComp {

      var integer cl_j := 12;

      var integer v_j := 12;

      [] t.timeout {

          var integer cl_k := 13;

          var integer v_k := 13;

      }

    }



	function f_Sem_1101_ValueVars_001() runs on GeneralComp {

  		var integer cl_i := 2;

  		var integer v_i := 2;

	}



	testcase TC_Sem_1101_ValueVars_001() runs on GeneralComp {

  		var integer cl_i := 3;

  		var integer v_i := 3;

        f_Sem_1101_ValueVars_001();

        

        t.start(1.0);
@@ -34,7 +34,7 @@ module Sem_1101_ValueVars_001 { 
	}

    

    control {

        var integer cl_i := 1;

        var integer v_i := 1;

        execute(TC_Sem_1101_ValueVars_001());

    }

}
 
 No newline at end of file

11_variables/1101_value_variables/Sem_1101_ValueVars_002.ttcn

+4 −4
Original line number Diff line number Diff line
@@ -8,15 +8,15 @@ module Sem_1101_ValueVars_002 { 
    type component GeneralComp {}

    

	testcase TC_Sem_1101_ValueVars_002() runs on GeneralComp {

        var boolean vl_b := true;

        if (vl_b){

        var boolean v_b := true;

        if (v_b){

            setverdict(pass);

        }

        else {

            setverdict(fail);

        }

        vl_b := false;

        if (not vl_b){

        v_b := false;

        if (not v_b){

            setverdict(pass);

        }

        else {

11_variables/1101_value_variables/Sem_1101_ValueVars_003.ttcn

+5 −5
Original line number Diff line number Diff line
@@ -7,15 +7,15 @@ 
module Sem_1101_ValueVars_003 {

    type component GeneralComp {

        timer t;

        var integer v_ai[3] := {1, 3, 5};

        var integer vc_ai[3] := {1, 3, 5};

    }

    

	testcase TC_Sem_1101_ValueVars_003() runs on GeneralComp {

  		var integer vl_i := 3;

        vl_i := 5;

        v_ai[1] := 5;

  		var integer v_i := 3;

        v_i := 5;

        vc_ai[1] := 5;

    

        if (v_ai[1] == vl_i){

        if (vc_ai[1] == v_i){

            setverdict(pass);

        }

        else {