Loading 06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges/Sem_0601020601_MixingSubtype_001.ttcn +2 −2 Original line number Diff line number Diff line Loading @@ -12,9 +12,9 @@ module Sem_0601020601_MixingSubtype_001 { testcase TC_Sem_0601020601_MixingSubtype_001() runs on GeneralComp { var lessThanPiAndNaN v_f; v_f := 3.14E0; v_f := 0; v_f := 0.0; v_f := -4E40; v_f := not_a_number v_f := not_a_number; setverdict(pass); } Loading Loading
06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020601_mixing_patterns_lists_and_ranges/Sem_0601020601_MixingSubtype_001.ttcn +2 −2 Original line number Diff line number Diff line Loading @@ -12,9 +12,9 @@ module Sem_0601020601_MixingSubtype_001 { testcase TC_Sem_0601020601_MixingSubtype_001() runs on GeneralComp { var lessThanPiAndNaN v_f; v_f := 3.14E0; v_f := 0; v_f := 0.0; v_f := -4E40; v_f := not_a_number v_f := not_a_number; setverdict(pass); } Loading