Commit f75c717c authored by zeiss's avatar zeiss
Browse files

No commit message

No commit message
parent bf7b3df1
Loading
Loading
Loading
Loading
+0 −5
Original line number Diff line number Diff line
@@ -9,11 +9,6 @@ module Sem_1508_TemplateRestrictions_001 {

type component GeneralComp { }

type record ExampleType {
	integer a,
	boolean b optional
}

testcase TC_Sem_1508_TemplateRestrictions_001() runs on GeneralComp {
	var template(omit) integer v_omit;
	
+3 −3
Original line number Diff line number Diff line
@@ -17,11 +17,11 @@ type record ExampleType {
template(value) ExampleType exampleValue := {1, true};

testcase TC_Sem_1508_TemplateRestrictions_008() runs on GeneralComp {
	var template(present) integer v_present;
	var template(present) ExampleType v_present;
	
	v_present := 20
	v_present := exampleValue;
	
	if (valueof(v_present) == 20) {
	if (match(v_present,{1, true})) {
		setverdict(pass);
	} else {
		setverdict(fail);