Loading ATS/07_expressions/07_toplevel/NegSem_07_toplevel_004.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -23,7 +23,7 @@ module NegSem_07_toplevel_004 testcase TC_NegSem_07_toplevel_004() runs on GeneralComp { var R v_rec; v_rec.field1 := 1; if (v_rec != { 20, 6 }) { setverdict(pass); } if (not match(v_rec, { 20, 6 })) { setverdict(pass); } else { setverdict(fail); } } Loading Loading
ATS/07_expressions/07_toplevel/NegSem_07_toplevel_004.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -23,7 +23,7 @@ module NegSem_07_toplevel_004 testcase TC_NegSem_07_toplevel_004() runs on GeneralComp { var R v_rec; v_rec.field1 := 1; if (v_rec != { 20, 6 }) { setverdict(pass); } if (not match(v_rec, { 20, 6 })) { setverdict(pass); } else { setverdict(fail); } } Loading