PSSM 1.1 RTF Avatar
  1. OMG Issue

PSSM11 — Partial trace in Test Transition 011-A

  • Key: PSSM11-18
  • Status: open  
  • Source: Budapest University of Technology and Economics ( Mr. Marton Elekes)
  • Summary:

    S1(exit) is missing from the end of the trace in Transition 011-A. (It is executed after T1.4 and before T3 transitions, which do not print to the trace.)
    The whole trace should be the following: S1.1(entry)::S1.1(exit)::T1.3(effect)::S1.2(entry)::S1(exit)

  • Reported: PSSM 1.0 — Thu, 27 Jul 2023 08:22 GMT
  • Updated: Fri, 28 Jul 2023 15:39 GMT