Skip to content
Snippets Groups Projects
Commit e98cb9f0 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[ptests] doc completion

parent aa6e64ff
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
tools/ptests/ptests.ml
+ 1
− 0
View file @ e98cb9f0
...@@ -231,6 +231,7 @@ let example_msg = ...@@ -231,6 +231,7 @@ let example_msg =
@@PTEST_ORACLE@@ # Basename of the current oracle file (macro only usable in FILTER directives).@ \ @@PTEST_ORACLE@@ # Basename of the current oracle file (macro only usable in FILTER directives).@ \
@@PTEST_DEFAULT_OPTIONS@@ # The default option list: %s@ \ @@PTEST_DEFAULT_OPTIONS@@ # The default option list: %s@ \
@@PTEST_LIBS@@ # The current list of modules defined by the LIBS directive.@ \ @@PTEST_LIBS@@ # The current list of modules defined by the LIBS directive.@ \
@@PTEST_LIBRARY@@ # The current list of modules defined by the LIBRARY directive.@ \
@@PTEST_DEPS@@ # The current list of dependencies defined by the DEPS directive.@ \ @@PTEST_DEPS@@ # The current list of dependencies defined by the DEPS directive.@ \
@@PTEST_ENABLED_IF@@ # The current value of ENABLED_IF directive.@ \ @@PTEST_ENABLED_IF@@ # The current value of ENABLED_IF directive.@ \
@@PTEST_MODULE@@ # The current list of modules defined by the MODULE directive.@ \ @@PTEST_MODULE@@ # The current list of modules defined by the MODULE directive.@ \
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment