@@ -54,10 +54,10 @@ Platform
54
54
- Formal evidence about the preformed DFA
55
55
- Formal evidence about the performed Safety Analyses
56
56
- Test result per test case from
57
- :need: `wp__verification__platform_test ` and :need: `wp__verification__feat_int_test `
57
+ :need: `wp__verification_platform_test ` and :need: `wp__verification_feat_int_test `
58
58
with status passed/failed/not_run
59
59
- Test log per test case from
60
- :need: `wp__verification__platform_test ` and :need: `wp__verification__feat_int_test `
60
+ :need: `wp__verification_platform_test ` and :need: `wp__verification_feat_int_test `
61
61
with status passed/failed/not_run
62
62
63
63
Feature
@@ -95,11 +95,11 @@ Module
95
95
- Formal evidence about the preformed DFA
96
96
- Formal evidence about the performed Safety Analyses
97
97
- Software component qualification verification report
98
- - Test result per test case from :need: `wp__verification__sw_unit_test `,
99
- :need: `wp__verification__feat_int_test `, and :need: `wp__verification__comp_int_test `
98
+ - Test result per test case from :need: `wp__verification_sw_unit_test `,
99
+ :need: `wp__verification_feat_int_test `, and :need: `wp__verification_comp_int_test `
100
100
with status passed/failed/not_run
101
- - Test log per test case from :need: `wp__verification__sw_unit_test `,
102
- :need: `wp__verification__feat_int_test `, and :need: `wp__verification__comp_int_test `
101
+ - Test log per test case from :need: `wp__verification_sw_unit_test `,
102
+ :need: `wp__verification_feat_int_test `, and :need: `wp__verification_comp_int_test `
103
103
with status passed/failed/not_run
104
104
105
105
Component
0 commit comments