summaryrefslogtreecommitdiffstats
path: root/tools/verification/dot2/dot2c.py
diff options
context:
space:
mode:
Diffstat (limited to 'tools/verification/dot2/dot2c.py')
-rw-r--r--tools/verification/dot2/dot2c.py3
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/verification/dot2/dot2c.py b/tools/verification/dot2/dot2c.py
index bca902eec483..fa73353f7e56 100644
--- a/tools/verification/dot2/dot2c.py
+++ b/tools/verification/dot2/dot2c.py
@@ -9,6 +9,9 @@
# de Oliveira, D. B. and Cucinotta, T. and de Oliveira, R. S.
# "Efficient Formal Verification for the Linux Kernel." International
# Conference on Software Engineering and Formal Methods. Springer, Cham, 2019.
+#
+# For further information, see:
+# Documentation/trace/rv/deterministic_automata.rst
from dot2.automata import Automata