File tree Expand file tree Collapse file tree 1 file changed +0
-11
lines changed
content/booklets/adacore-technologies-for-railway-software/chapters Expand file tree Collapse file tree 1 file changed +0
-11
lines changed Original file line number Diff line number Diff line change @@ -142,22 +142,11 @@ implementation of the following techniques:
142142GNAT Static Analysis Suite
143143--------------------------
144144
145- .. todo ::
146-
147- **This section will be completed after review of the content for the
148- various GNAT SAS tools. CodePeer is no longer a branded tool, and
149- in any event there is an issue with its qualification status
150- since it is not sound. **
151-
152145See :ref: `Railway_SW_GNAT_Static_Analysis_Suite `.
153146
154147Defects and Vulnerability Analysis
155148~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
156149
157- .. todo ::
158-
159- **This section will be deleted (and re-titled), or else adapted as needed **
160-
161150.. index :: single: Defects and Vulnerability Analysis; Qualification
162151.. index :: single: Tool qualification; Defects and Vulnerability Analysis
163152
You can’t perform that action at this time.
0 commit comments