Página inicial Explorar Ajuda
Entrar
sam
/
TranslatingSCCDtoDEVS
Observar 1
Favorito 0
Fork 0
Arquivos Issues 0 Pull Requests 0 Wiki
Branch: main
Branches Tags
TranslatingS...
/
tests
/
7.1) MultipleFiles
/
expected_trace.txt

expected_trace.txt 90 B
Link permanente Histórico Raw

123 
  1. 0.00 A: exit /init
    2. 

  2. 0.00 A: transition (/init -> /initializing)
    3. 

  3. 0.00 A: enter /initializing
    4.