summaryrefslogtreecommitdiffstats
path: root/rtemsspec/validation.py (unfollow)
Commit message (Expand)AuthorFilesLines
2021-04-13validation: Add get_post_conditions()Sebastian Huber1-0/+49
2021-03-25validation: Reject more duplicatesSebastian Huber1-7/+8
2021-03-25validation: The skip entry flag must be 0 or 1Sebastian Huber1-4/+5
2021-03-25validation: Check more before discarding variantsSebastian Huber1-1/+5
2021-03-23validation: Take N/A pre-conditions into accountSebastian Huber1-30/+36
2021-03-22validation: Add TransitionMap.skip_idx_to_name()Sebastian Huber1-3/+16
2021-03-22validation: Add TransitionMap.get_variants()Sebastian Huber1-1/+28
2021-03-22validation: SimplifySebastian Huber1-2/+2
2021-03-22validation: Add TransitionMap.entries()Sebastian Huber1-3/+8
2021-03-19validation: Optimize transition mapSebastian Huber1-63/+83
2021-03-17validation: Avoid duplicated variantsSebastian Huber1-8/+16
2021-03-17specview: Add option to show action req tablesSebastian Huber1-0/+7
2021-03-17validation: Substitute context documnetationSebastian Huber1-2/+3
2021-03-17validation: Improve default transition entriesSebastian Huber1-11/+18
2021-03-17validation: Further reduce source code/rodata sizeSebastian Huber1-21/+36
2021-03-17validation: Add post-condition expressionsSebastian Huber1-10/+200
2021-03-17validation: Make Transition named tuple publicSebastian Huber1-39/+38
2021-03-17validation: Improve namingSebastian Huber1-26/+25
2021-03-17validation: Reorder generated codeSebastian Huber1-5/+5
2021-03-17validation: Add TransitionMapSebastian Huber1-185/+207
2021-03-17validation: Optimize transition mapSebastian Huber1-49/+72
2021-03-17validation: Allow N/A for post-condition statesSebastian Huber1-3/+4
2021-03-17validation: Shorten variable nameSebastian Huber1-16/+11
2021-03-17validation: Add default for transition map entriesSebastian Huber1-2/+18
2021-03-02validation: Wrap comment blocksSebastian Huber1-2/+2
2021-03-01validation: Add comment to action condition statesSebastian Huber1-2/+12
2021-02-04validation: Add check brief descriptionsSebastian Huber1-0/+2
2021-02-04validation: Add action brief descriptionsSebastian Huber1-0/+4
2021-02-04spec: Rename test case action attributesSebastian Huber1-4/+4
2021-02-04validation: Do not pass NULL contextSebastian Huber1-5/+17
2021-02-04validation: Move actions to separate functionsSebastian Huber1-34/+41
2021-02-04validation: Remove prologue/epilogue in test casesSebastian Huber1-2/+0
2021-02-04validation: Fix coding styleSebastian Huber1-1/+1
2021-02-04validation: Add context and fixture to test caseSebastian Huber1-7/+33
2021-02-04validation: Avoid empty test context instanceSebastian Huber1-5/+8
2021-02-03validation: Improve no default entry error messageSebastian Huber1-2/+6
2021-02-03validation: Improve duplicate error msgSebastian Huber1-2/+20
2021-02-03validation: Improve non-existant state error msgSebastian Huber1-12/+22
2021-02-03validation: Improve non-existant state error msgSebastian Huber1-7/+13
2021-02-03validation: Improve no states error messageSebastian Huber1-1/+3
2021-02-03validation: Improve test program error messageSebastian Huber1-1/+8
2020-12-21validation: Print samples in performance testsSebastian Huber1-0/+1
2020-12-13items: Simplify ItemMapperSebastian Huber1-5/+6
2020-11-13validation: Support for runtime performance reqsSebastian Huber1-8/+70
2020-11-13validation: Support for runtime measurement testsSebastian Huber1-11/+108
2020-11-13validation: Move add function to base classSebastian Huber1-9/+15
2020-11-13validation: Move add context to base classSebastian Huber1-28/+35
2020-11-13validation: Move add fixture method to base classSebastian Huber1-27/+51
2020-11-13validation: Fix namesSebastian Huber1-32/+30
2020-09-18items: Return key path in ItemMapper.map()Sebastian Huber1-3/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-23 23:11:31 +0000