Merge pull request #141 from stanislaw/implicit-check-not

FileCheck.pdf: update implementation coverage
mull-project · Apr 27, 2020 · 6b65df9 · 6b65df9
2 parents f1b1bb5 + efe009c
commit 6b65df9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/FileCheck.pdf b/FileCheck.pdf
diff --git a/docs/06-options.rst b/docs/06-options.rst
@@ -103,10 +103,13 @@ FileCheck.py follows LLVM FileCheck in the following implementation details:
 
 - The implicit checks are substring-matched i.e. their are ``in`` checks, not
 ``==`` checks.
+
 - The implicit checks are case sensitive, so ``error`` check will not match
 ``ERROR`` in the input.
+
 - The implicit check has lower priority than the positive `CHECK*` checks,
 but it has higher priority than negative `CHECK-NOT` checks.
+
 - To provide multiple implicit checks, duplicate the argument
 ``--implicit-check-not <your check>`` multiple times.