Loading 06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/060101_toplevel/NegSyn_060101_TopLevel_008.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -4,6 +4,6 @@ ** @purpose 1:6.1.1, Assign string to octetstring values ** @verdict pass reject ***************************************************/ module NegSyn_060101_TopLevel_005 { module NegSyn_060101_TopLevel_008 { const octetstring b1 := "F15A"; // not an octetstring value } No newline at end of file 06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/060101_toplevel/NegSyn_060101_TopLevel_010.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -4,6 +4,6 @@ ** @purpose 1:6.1.1, Assign invalid hexstring value ** @verdict pass reject ***************************************************/ module NegSyn_060101_TopLevel_011 { module NegSyn_060101_TopLevel_010 { const octetstring b1 := '1FAH'O; // not an octetstring value, H not valid } No newline at end of file Loading
06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/060101_toplevel/NegSyn_060101_TopLevel_008.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -4,6 +4,6 @@ ** @purpose 1:6.1.1, Assign string to octetstring values ** @verdict pass reject ***************************************************/ module NegSyn_060101_TopLevel_005 { module NegSyn_060101_TopLevel_008 { const octetstring b1 := "F15A"; // not an octetstring value } No newline at end of file
06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/060101_toplevel/NegSyn_060101_TopLevel_010.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -4,6 +4,6 @@ ** @purpose 1:6.1.1, Assign invalid hexstring value ** @verdict pass reject ***************************************************/ module NegSyn_060101_TopLevel_011 { module NegSyn_060101_TopLevel_010 { const octetstring b1 := '1FAH'O; // not an octetstring value, H not valid } No newline at end of file