summaryrefslogtreecommitdiffstats
path: root/rtemsspec/tests/test_validation.py (unfollow)
Commit message (Expand)AuthorFilesLines
2023-11-27validation: Add nested test case remarksSebastian Huber1-0/+18
2023-07-21validation: Add test-ident substitutionSebastian Huber1-0/+3
2023-06-14items: Derive ItemCache from dictSebastian Huber1-1/+1
2023-05-19Update company nameSebastian Huber1-8/+8
2023-05-08validation: Add group for performance measurementsSebastian Huber1-0/+16
2023-05-08items: Remove ${spec} substitutionSebastian Huber1-1/+1
2023-05-08items: Yield only links of enabled itemsSebastian Huber1-2/+2
2023-02-16validation: Derive names from item UIDsSebastian Huber1-42/+42
2022-09-02validation: Add augment_with_test_case_links()Sebastian Huber1-1/+3
2021-11-25validation: Support optional perf measurementsSebastian Huber1-0/+29
2021-11-25validation: Add optional begin/end time pointSebastian Huber1-0/+10
2021-09-22validation: Fix skipping of transition variantsSebastian Huber1-18/+27
2021-09-14validation: Fix pre-condition state handlingSebastian Huber1-17/+33
2021-09-14validation: Fix transition variants skipSebastian Huber1-6/+2
2021-08-17validation: Add ${.:/test-context-type}Sebastian Huber1-0/+1
2021-08-17spec2modules.py: Add target files optionSebastian Huber1-0/+1
2021-08-16validation: Add ${.:skip} for action requirementsSebastian Huber1-0/+44
2021-08-16validation: Move parts of loop body to a functionSebastian Huber1-16/+25
2021-08-16validation: Move map index/entry to contextSebastian Huber1-91/+113
2021-08-16validation: Simplify pre-condition N/A supportSebastian Huber1-9/+4
2021-07-30validation: Support freestanding test casesSebastian Huber1-4/+2
2021-05-14validation: Let skip reasons overwriteSebastian Huber1-1/+1
2021-05-06validation: Fix N/A pre-condition handlingSebastian Huber1-54/+14
2021-04-19validation: More compact post-conditionsSebastian Huber1-0/+2
2021-04-19validation: Assign run parameters earlySebastian Huber1-4/+62
2021-04-13validation: Add get_post_conditions()Sebastian Huber1-2/+17
2021-03-22validation: Add TransitionMap.skip_idx_to_name()Sebastian Huber1-0/+2
2021-03-22validation: Add TransitionMap.get_variants()Sebastian Huber1-2/+7
2021-03-19validation: Optimize transition mapSebastian Huber1-88/+56
2021-03-17validation: Avoid duplicated variantsSebastian Huber1-0/+6
2021-03-17specview: Add option to show action req tablesSebastian Huber1-2/+7
2021-03-17validation: Further reduce source code/rodata sizeSebastian Huber1-47/+54
2021-03-17validation: Add post-condition expressionsSebastian Huber1-73/+183
2021-03-17validation: Improve namingSebastian Huber1-4/+4
2021-03-17validation: Reorder generated codeSebastian Huber1-46/+46
2021-03-17validation: Optimize transition mapSebastian Huber1-253/+88
2021-03-17validation: Allow N/A for post-condition statesSebastian Huber1-2/+2
2021-03-02validation: Wrap comment blocksSebastian Huber1-15/+16
2021-03-01validation: Add comment to action condition statesSebastian Huber1-0/+103
2021-02-04validation: Add check brief descriptionsSebastian Huber1-0/+44
2021-02-04validation: Add action brief descriptionsSebastian Huber1-0/+24
2021-02-04validation: Do not pass NULL contextSebastian Huber1-23/+9
2021-02-04validation: Move actions to separate functionsSebastian Huber1-18/+138
2021-02-04validation: Remove prologue/epilogue in test casesSebastian Huber1-7/+0
2021-02-04validation: Fix coding styleSebastian Huber1-3/+3
2021-02-04validation: Add context and fixture to test caseSebastian Huber1-1/+42
2021-02-03validation: Improve no default entry error messageSebastian Huber1-0/+15
2021-02-03validation: Improve duplicate error msgSebastian Huber1-0/+14
2021-02-03validation: Improve non-existant state error msgSebastian Huber1-0/+10
2021-02-03validation: Improve non-existant state error msgSebastian Huber1-0/+9