Please enable JavaScript in your browser!
Startseite
Erkunden
Hilfe
Anmelden
sam
/
TranslatingSCCDtoDEVS
Beobachten
1
Favorit hinzufügen
0
Fork
0
Dateien
Issues
0
Pull-Requests
0
Wiki
Struktur:
83c82df413
Branches
Tags
main
TranslatingS...
/
tests
/
2.0) GlobalInputTest
/
expected_trace.txt
expected_trace.txt
100 B
Verlauf
Originalformat
1
2
3
0.00 MainApp: exit /state1
0.00 MainApp: transition (/state1 -> /state2)
0.00 MainApp: enter /state2