PSSM 1.1 RTF Avatar
  1. OMG Issue

PSSM11 — Typo in description of generated trace for 9.3.3.11 Transition 017

Open Closed All
  • Key: PSSM11-8
  • Status: open  
  • Source: mit.bme.hu ( Zoltan Micskei)
  • Summary:

    "T3.1.2 is triggered by the dispatching of CE(S3.1.2)" -> CE(S3.1.1)

    There is no S3.1.2 in the state machine. The RTS steps part correctly refers to [CE(S3.1.1)] in the event pool.
  • Reported: PSSM 1.0 — Fri, 25 Sep 2020 06:59 GMT
  • Updated: Thu, 1 Oct 2020 16:50 GMT