Joeri Exelmans 49149eb5b6 Removed test case of a "todo"-bug (bug turned out not to exist after all). Added test for checking whether guard conditions are expressions of boolean-type. 5 年之前
..
stateref af62dc077c Various small fixes 5 年之前
fail_after_and_event.xml af62dc077c Various small fixes 5 年之前
fail_guard_bool.xml 49149eb5b6 Removed test case of a "todo"-bug (bug turned out not to exist after all). Added test for checking whether guard conditions are expressions of boolean-type. 5 年之前
fail_missing_id.xml af62dc077c Various small fixes 5 年之前
fail_missing_initial.xml af62dc077c Various small fixes 5 年之前
fail_missing_root.xml af62dc077c Various small fixes 5 年之前
fail_missing_target.xml af62dc077c Various small fixes 5 年之前
fail_multiple_root.xml af62dc077c Various small fixes 5 年之前
fail_no_such_target.xml af62dc077c Various small fixes 5 年之前
fail_root_id.xml af62dc077c Various small fixes 5 年之前
fail_root_transition.xml af62dc077c Various small fixes 5 年之前
fail_root_transition2.xml af62dc077c Various small fixes 5 年之前
fail_unique_id.xml af62dc077c Various small fixes 5 年之前
fail_wrong_initial.xml af62dc077c Various small fixes 5 年之前