| .. |
|
fail_parameter_type.xml
|
ee9218c8d6
Fix race condition detection + fix some outdated test files.
|
5 years ago |
|
fail_return_branches.xml
|
ee9218c8d6
Fix race condition detection + fix some outdated test files.
|
5 years ago |
|
fail_return_branches2.xml
|
ee9218c8d6
Fix race condition detection + fix some outdated test files.
|
5 years ago |
|
fail_return_branches3.xml
|
ee9218c8d6
Fix race condition detection + fix some outdated test files.
|
5 years ago |
|
fail_return_branches4.xml
|
ee9218c8d6
Fix race condition detection + fix some outdated test files.
|
5 years ago |
|
fail_return_branches5.xml
|
ee9218c8d6
Fix race condition detection + fix some outdated test files.
|
5 years ago |
|
fail_return_type.xml
|
ee9218c8d6
Fix race condition detection + fix some outdated test files.
|
5 years ago |
|
test_functions.svg
|
3c606e245b
Implemented 'else' branches for if-statements. Better static analysis of return types. Moved non-statechart XML parsing logic to separate file.
|
5 years ago |
|
test_functions.xml
|
2f1c07eebf
Add test for nested function declarations and recursion (although we probably don't want recursion in our statecharts)
|
5 years ago |
|
test_nested.xml
|
2f1c07eebf
Add test for nested function declarations and recursion (although we probably don't want recursion in our statecharts)
|
5 years ago |
|
test_recursion.xml
|
2f1c07eebf
Add test for nested function declarations and recursion (although we probably don't want recursion in our statecharts)
|
5 years ago |
Joeri Exelmans
ee9218c8d6
Fix race condition detection + fix some outdated test files.
