Loading experiments/Templates.ttcn 0 → 100644 +24 −0 Original line number Diff line number Diff line // @verdict pass accept, ttcn3verdict:pass // @purpose Assure local templates are evaluated statically. module Templates { testcase StaticLocal() runs on C { var integer i := 0; var integer a[3] := {1,2,3}; template integer t_integer := a[i]; i := -1; if (match(1, t_integer)) { setverdict(pass) } else { setverdict(fail) } } type component C {} control { execute(StaticLocal()); } } Loading
experiments/Templates.ttcn 0 → 100644 +24 −0 Original line number Diff line number Diff line // @verdict pass accept, ttcn3verdict:pass // @purpose Assure local templates are evaluated statically. module Templates { testcase StaticLocal() runs on C { var integer i := 0; var integer a[3] := {1,2,3}; template integer t_integer := a[i]; i := -1; if (match(1, t_integer)) { setverdict(pass) } else { setverdict(fail) } } type component C {} control { execute(StaticLocal()); } }