Prüft behauptete empfangene Nachrichten eines anonymen Erlang-Mailboxtraces mit ...

{ "body": { "artifact": { "selective_receive": { "claim": 1, "events": [ { "op": "send", "tag": 1, "value": 5 }, { "op": "send", "tag": 2, "value": 6 }, { "clauses": [ { "max": 9, "min": 0, "tag": 2 }, { "max": 9, "min": 0, "tag": 1 } ], "op": "receive_after_zero" } ] } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Only the bounded explicitly supplied anonymous artifact and numeric claim are evaluated.", "No external system is queried or modified; identifiers, addresses and source text are not returned.", "A mismatch is a declared-model correspondence finding, without an operational, security, legal or compliance verdict." ], "module": "erlang-selective-mailbox-clause-order", "state": "not_observed", "value": { "claim_matches": true, "clause_indices_selected": [ 1 ], "mailbox_indices_removed": [ 0 ], "message_inspections": 1, "received_messages": 1, "remaining_messages": 1, "statistic": 1, "zero_timeout_completions": 0 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }