Loading ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/NegSem_05040102_parameters_of_kind_template_002.ttcn +1 −1 Original line number Original line Diff line number Diff line Loading @@ -2,7 +2,7 @@ ** @author STF 487 ** @author STF 487 ** @version 0.0.1 ** @version 0.0.1 ** @purpose 1:5.4.1.2, verify that modified template cannot used dash as default value when original template parameter had no default value ** @purpose 1:5.4.1.2, verify that modified template cannot used dash as default value when original template parameter had no default value ** @verdict pass accept, noexecution ** @verdict pass reject ***************************************************/ ***************************************************/ // The following requirement is tested: // The following requirement is tested: Loading Loading
ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/NegSem_05040102_parameters_of_kind_template_002.ttcn +1 −1 Original line number Original line Diff line number Diff line Loading @@ -2,7 +2,7 @@ ** @author STF 487 ** @author STF 487 ** @version 0.0.1 ** @version 0.0.1 ** @purpose 1:5.4.1.2, verify that modified template cannot used dash as default value when original template parameter had no default value ** @purpose 1:5.4.1.2, verify that modified template cannot used dash as default value when original template parameter had no default value ** @verdict pass accept, noexecution ** @verdict pass reject ***************************************************/ ***************************************************/ // The following requirement is tested: // The following requirement is tested: Loading