From 43792fb34926355a7814473935f439c7c7bde088 Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Date: Thu, 20 Jun 2024 11:48:31 +0200 Subject: [PATCH] Clarify push and pop value in mark API --- doc/user/runtime/mark.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/user/runtime/mark.md b/doc/user/runtime/mark.md index 8018acc..90baf28 100644 --- 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