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