Commit 42b69954 authored by stancakapost's avatar stancakapost
Browse files

added template restrictions to variables to agree with those of inout

parameters
parent c12eac3d
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -22,7 +22,7 @@ module Sem_05040102_parameters_of_kind_template_018 {
    }
	
	testcase TC_Sem_05040102_parameters_of_kind_template_018() runs on GeneralComp {
        var template integer v_int1, v_int2 := omit;
        var template(omit) integer v_int1, v_int2 := omit;
        a(0, 2, v_int1, v_int2);
	}

+1 −1
Original line number Diff line number Diff line
@@ -22,7 +22,7 @@ module Sem_05040102_parameters_of_kind_template_019 {
	}

	control {
        var template integer v_int1, v_int2 := 20;
        var template(omit) integer v_int1, v_int2 := 20;
		execute(TC_Sem_05040102_parameters_of_kind_template_019(omit, 2, v_int1, v_int2));
	}
}
+1 −1
Original line number Diff line number Diff line
@@ -21,7 +21,7 @@ module Sem_05040102_parameters_of_kind_template_022 {
    }
	
	testcase TC_Sem_05040102_parameters_of_kind_template_022() runs on GeneralComp {
        var template integer v_int1, v_int2 := 20;
        var template(present) integer v_int1, v_int2 := 20;
        f((0..5), 2, v_int1, v_int2);
	}

+1 −1
Original line number Diff line number Diff line
@@ -22,7 +22,7 @@ module Sem_05040102_parameters_of_kind_template_023 {
    }
	
	testcase TC_Sem_05040102_parameters_of_kind_template_023() runs on GeneralComp {
        var template integer v_int1, v_int2 := (0..5);
        var template(present) integer v_int1, v_int2 := (0..5);
        a(0, 2, v_int1, v_int2);
	}

+1 −1
Original line number Diff line number Diff line
@@ -22,7 +22,7 @@ module Sem_05040102_parameters_of_kind_template_024 {
	}

	control {
        var template integer v_int1, v_int2 := 20;
        var template(present) integer v_int1, v_int2 := 20;
		execute(TC_Sem_05040102_parameters_of_kind_template_024((0..5), 2, v_int1, v_int2));
	}
}
Loading