diff options
Diffstat (limited to 'include/rv')
| -rw-r--r-- | include/rv/da_monitor.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/rv/da_monitor.h b/include/rv/da_monitor.h index 001bc298289f..9eb75683e012 100644 --- a/include/rv/da_monitor.h +++ b/include/rv/da_monitor.h @@ -6,6 +6,9 @@ * with automata models in C generated by the dot2k tool. * * The dot2k tool is available at tools/verification/dot2k/ + * + * For further information, see: + * Documentation/trace/rv/da_monitor_synthesis.rst */ #include <rv/automata.h> |