Skip to content

Commit 35348bb

Browse files
authored
Merge pull request mull-project#144 from stanislaw/implicit-check-not
docs/06-options: fix syntax again
2 parents ceeefcc + 6a6b527 commit 35348bb

File tree

1 file changed

+12
-12
lines changed

1 file changed

+12
-12
lines changed

docs/06-options.rst

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
Options
22
=======
33

4-
--strict-whitespace
5-
-------------------
4+
strict-whitespace
5+
-----------------
66

77
When the ``--strict-whitespace`` option is not provided, FileCheck ignores
88
differences between spaces and tabs. Additionally multiple spaces are ignored
@@ -27,8 +27,8 @@ will pass on any of the following inputs:
2727
2828
Adding ``--strict-whitespace`` disables this behavior.
2929

30-
--match-full-lines
31-
------------------
30+
match-full-lines
31+
----------------
3232

3333
When the ``--match-full-lines`` option is not provided, FileCheck does not
3434
match full lines.
@@ -76,8 +76,8 @@ Notice absence of spaces between ``CHECK:`` and the lines.
7676
$ echo $?
7777
0
7878
79-
--check-prefix
80-
--------------
79+
check-prefix
80+
------------
8181

8282
The ``--check-prefix`` option allows changing a default match keyword `CHECK`
8383
to an arbitrary keyword. This is useful when you want to test different behavior
@@ -93,25 +93,25 @@ in the same file:
9393
One usual case is testing of how a program behaves when it is run with or
9494
without a specific option.
9595

96-
--implicit-check-not
97-
--------------------
96+
implicit-check-not
97+
------------------
9898

9999
The ``--implicit-check-not`` option adds implicit `CHECK-NOT` check that works
100100
on every input line.
101101

102102
FileCheck.py follows LLVM FileCheck in the following implementation details:
103103

104104
- The implicit checks are substring-matched i.e. their are ``in`` checks, not
105-
``==`` checks.
105+
``==`` checks.
106106

107107
- The implicit checks are case sensitive, so ``error`` check will not match
108-
``ERROR`` in the input.
108+
``ERROR`` in the input.
109109

110110
- The implicit check has lower priority than the positive `CHECK*` checks,
111-
but it has higher priority than negative `CHECK-NOT` checks.
111+
but it has higher priority than negative `CHECK-NOT` checks.
112112

113113
- To provide multiple implicit checks, duplicate the argument
114-
``--implicit-check-not <your check>`` multiple times.
114+
``--implicit-check-not <your check>`` multiple times.
115115

116116
Example
117117
~~~~~~~

0 commit comments

Comments
 (0)