summaryrefslogtreecommitdiffstats
path: root/rtemsspec/tests/spec-validation (follow)
Commit message (Expand)AuthorAgeFilesLines
* validation: Add get_post_conditions()Sebastian Huber2021-04-131-0/+10
* validation: Avoid duplicated variantsSebastian Huber2021-03-171-0/+11
* validation: Add post-condition expressionsSebastian Huber2021-03-171-37/+119
* validation: Allow N/A for post-condition statesSebastian Huber2021-03-171-1/+1
* validation: Add default for transition map entriesSebastian Huber2021-03-171-9/+5
* spec: Rename test case action attributesSebastian Huber2021-02-045-58/+58
* validation: Move actions to separate functionsSebastian Huber2021-02-041-0/+30
* validation: Remove prologue/epilogue in test casesSebastian Huber2021-02-046-16/+0
* validation: Add context and fixture to test caseSebastian Huber2021-02-046-6/+42
* Format specification itemsSebastian Huber2020-11-301-3/+3
* validation: Support for runtime performance reqsSebastian Huber2020-11-131-0/+39
* validation: Support for runtime measurement testsSebastian Huber2020-11-131-0/+51
* validation: Add test documentation to groupSebastian Huber2020-08-191-0/+1
* validation: Add ${step/123} supportSebastian Huber2020-08-191-1/+1
* validation: Add test header for test casesSebastian Huber2020-08-192-0/+95
* spec: Unify test attribute keysSebastian Huber2020-08-195-60/+63
* spec: Add test header to test case item typeSebastian Huber2020-08-194-0/+4
* validation: Remove explicit test namesSebastian Huber2020-08-195-5/+0
* validation: Add test context supportSebastian Huber2020-08-192-0/+3
* validation: Add test cleanupSebastian Huber2020-08-192-0/+3
* validation: Add test early preparationSebastian Huber2020-08-192-0/+3
* spec: Fix item formatSebastian Huber2020-08-197-48/+48
* content: Strip function parametersSebastian Huber2020-08-191-1/+2
* validation: Add ability to skip action transitionsSebastian Huber2020-07-272-0/+25
* validation: Support N/A in the action transitionsSebastian Huber2020-07-271-1/+10
* Rename "rtemsqual" in "rtemsspec"Sebastian Huber2020-07-1510-0/+622