Commit dd62d5fc authored by urbant's avatar urbant
Browse files

Tests for 22.2.3 and some minor corrections to 22.2.2

parent 6df1b87c

ATS/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_004.ttcn

+2 −3
Original line number Diff line number Diff line
@@ -31,10 +31,9 @@ module NegSem_220202_ReceiveOperation_004 { 
        p.send(R:{ field1 := { 1, 2 }, field2 := "abc" });

        alt {

            [] p.receive(R:?) -> value ( v_int := field1[1], v_str := field2) { 

                if (v_int == 2) { setverdict (pass); }

                else { setverdict(fail); }

                setverdict (pass);

            }

            [] p.receive { setverdict(fail); }

            [] p.receive { setverdict(pass); }

        }

    }

ATS/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_005.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -36,7 +36,7 @@ module NegSem_220202_ReceiveOperation_005 { 
            [] p.receive(R:?) -> value (v_res := @decoded payload) { 

                setverdict (pass);

            }

            [] p.receive { setverdict(fail); }

            [] p.receive { setverdict(pass); }

        }

    }

ATS/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_006.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -32,7 +32,7 @@ module NegSem_220202_ReceiveOperation_006 { 
            [] p.receive(R:?) -> value (v_res := @decoded payload) { 

                setverdict (pass);

            }

            [] p.receive { setverdict(fail); }

            [] p.receive { setverdict(pass); }

        }

    }

ATS/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_007.ttcn

+2 −3
Original line number Diff line number Diff line
@@ -30,10 +30,9 @@ module NegSem_220202_ReceiveOperation_007 { 
        p.send(R:{ id := 1, payload := v_str });

        alt {

            [] p.receive(R:?) -> value (v_res := @decoded("proprietary") payload) { 

                if (v_res == 1953719668) { setverdict (pass); }

                else { setverdict(fail); }

                setverdict (pass);

            }

            [] p.receive { setverdict(fail); }

            [] p.receive { setverdict(pass); }

        }

    }

ATS/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_008.ttcn

+2 −3
Original line number Diff line number Diff line
@@ -30,10 +30,9 @@ module NegSem_220202_ReceiveOperation_008 { 
        p.send(R:{ id := 1, payload := v_str });

        alt {

            [] p.receive(R:?) -> value (v_res := @decoded(v_src) payload) { 

                if (v_res == 1953719668) { setverdict (pass); }

                else { setverdict(fail); }

                setverdict (pass);

            }

            [] p.receive { setverdict(fail); }

            [] p.receive { setverdict(pass); }

        }

    }