Halaman utama Jelajahi Bantuan
Masuk
simon
/
SCCD
Liatin 2
Bintangi 2
Fork 3
Berkas Masalah 28 Tarik Permintaan 0 Wiki
Pohon: a6753bd559
Ranting Tag
SCCD
/
test
/
test_files
/
semantics
/
original_semantics
Joeri Exelmans a6753bd559 Fixed all tests. 5 tahun lalu
..
after+Class1.svg 52ad9ebcbd Fixed 'after' triggers + render them in SVG 5 tahun lalu
after.xml 41713e5375 Moved test files + update readme 5 tahun lalu
correct_duplicate_state_id+Class1.svg 5f128dac0d Rename SVG files. Add 'order of small steps' test. 5 tahun lalu
correct_duplicate_state_id.xml 41713e5375 Moved test files + update readme 5 tahun lalu
enter_exit_hierarchy+Class1.svg 5f7b651a8d Transition raised events and enter/exit actions are rendered. 5 tahun lalu
enter_exit_hierarchy.xml fc9539e6d3 The raising of an event is interpreted as an "Action" by the runtime. Big-step Maximality and Event Lifeline tests working. 5 tahun lalu
fault_duplicate_state_id.xml_disabled 41713e5375 Moved test files + update readme 5 tahun lalu
fault_multiple_unconditional.xml_disabled 41713e5375 Moved test files + update readme 5 tahun lalu
history+Class1.svg 5f7b651a8d Transition raised events and enter/exit actions are rendered. 5 tahun lalu
history.xml fc9539e6d3 The raising of an event is interpreted as an "Action" by the runtime. Big-step Maximality and Event Lifeline tests working. 5 tahun lalu
history_deep+Class1.svg 5f128dac0d Rename SVG files. Add 'order of small steps' test. 5 tahun lalu
history_deep.xml a6753bd559 Fixed all tests. 5 tahun lalu
history_parallel_deep+Class1.svg 5f128dac0d Rename SVG files. Add 'order of small steps' test. 5 tahun lalu
history_parallel_deep.xml a6753bd559 Fixed all tests. 5 tahun lalu
inner_first+Class1.svg 5f7b651a8d Transition raised events and enter/exit actions are rendered. 5 tahun lalu
inner_first.xml fc9539e6d3 The raising of an event is interpreted as an "Action" by the runtime. Big-step Maximality and Event Lifeline tests working. 5 tahun lalu
instate+Class1.svg 5f7b651a8d Transition raised events and enter/exit actions are rendered. 5 tahun lalu
instate.xml a6753bd559 Fixed all tests. 5 tahun lalu
multiple_target+Class1.svg a6753bd559 Fixed all tests. 5 tahun lalu
multiple_target.xml a6753bd559 Fixed all tests. 5 tahun lalu
outer_first+Class1.svg 5f128dac0d Rename SVG files. Add 'order of small steps' test. 5 tahun lalu
outer_first.xml fc9539e6d3 The raising of an event is interpreted as an "Action" by the runtime. Big-step Maximality and Event Lifeline tests working. 5 tahun lalu
parallel+Class1.svg 5f7b651a8d Transition raised events and enter/exit actions are rendered. 5 tahun lalu
parallel.xml fc9539e6d3 The raising of an event is interpreted as an "Action" by the runtime. Big-step Maximality and Event Lifeline tests working. 5 tahun lalu
parallel_history+TestClass.svg 5f7b651a8d Transition raised events and enter/exit actions are rendered. 5 tahun lalu
parallel_history.xml fc9539e6d3 The raising of an event is interpreted as an "Action" by the runtime. Big-step Maximality and Event Lifeline tests working. 5 tahun lalu
parallel_history_2+TestClass.svg 5f7b651a8d Transition raised events and enter/exit actions are rendered. 5 tahun lalu
parallel_history_2.xml fc9539e6d3 The raising of an event is interpreted as an "Action" by the runtime. Big-step Maximality and Event Lifeline tests working. 5 tahun lalu
parallel_history_3+TestClass.svg 5f7b651a8d Transition raised events and enter/exit actions are rendered. 5 tahun lalu
parallel_history_3.xml fc9539e6d3 The raising of an event is interpreted as an "Action" by the runtime. Big-step Maximality and Event Lifeline tests working. 5 tahun lalu