Clarify push and pop value in mark API

2024-06-20 11:48:31 +02:00 · 2024-06-20 11:48:31 +02:00 · 43792fb349
commit 43792fb349
parent d6a83a0520
1 changed files with 2 additions and 0 deletions
--- a/doc/user/runtime/mark.md
+++ b/doc/user/runtime/mark.md
@ -65,6 +65,8 @@ void ovni_mark_push(int32_t type, int64_t value);
 void ovni_mark_pop(int32_t type, int64_t value);
 ```

+The value in the pop call must match the previous pushed value.
+
 ## Usage in Paraver

 Each thread holds a channel for each mark type that you have defined. The