79374072

Date: 2025-01-21 10:46:24
Score: 2
Natty:
Report link

I highlighted in red all the transitions triggered by the "SignalTop" SignalEvent. example

I did it by using the operation "Equals" -- A is the signal of the transition, realised by metachain navigation; B is SignalTop.spec Hope it helps!

Reasons:
  • Whitelisted phrase (-1): Hope it helps
  • Probably link only (1):
  • Low length (0.5):
  • No code block (0.5):
  • Low reputation (1):
Posted by: xy3333