Please enable JavaScript in your browser!
Home
Explore
Help
Sign In
sam
/
TranslatingSCCDtoDEVS
Watch
1
Star
0
Fork
0
Files
Issues
0
Pull Requests
0
Wiki
Branch:
main
Branches
Tags
main
TranslatingS...
/
tests
/
7.1) MultipleFiles
/
expected_trace.txt
expected_trace.txt
90 B
Permalink
History
Raw
1
2
3
0.00 A: exit /init
0.00 A: transition (/init -> /initializing)
0.00 A: enter /initializing