Главная Обзор Помощь
Вход
sam
/
TranslatingSCCDtoDEVS
Следить 1
В избранное 0
Ответвить 0
Файлы Обсуждения 0 Запросы на слияние 0 Вики
Дерево: 5a842e14a3
Ветки Метки
TranslatingS...
/
tests
/
2.1) GlobalInputCheckTest
/
expected_trace.txt

expected_trace.txt 100 B
История Исходник

123 
  1. 1.00 MainApp: exit /state1
    2. 

  2. 1.00 MainApp: transition (/state1 -> /state2)
    3. 

  3. 1.00 MainApp: enter /state2
    4.