We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent cb32b32 commit 930117dCopy full SHA for 930117d
content/booklets/adacore-technologies-for-airborne-software/chapters/analysis.rst
@@ -1968,7 +1968,7 @@ of one condition to :ada:`False`:
1968
1969
1970
Each condition thus has two associated tests, the one marked as
1971
-baseline, and the one with an italicized *False* in that condition's
+baseline, and the one with :ada:`False` in that condition's
1972
column. These two tests show how that condition independently affects
1973
the outcome: The given condition is :ada:`True` in the baseline and :ada:`False`
1974
in the other, each other condition has the same value in both tests, and
0 commit comments