diff options
| -rw-r--r-- | embassy-executor/src/raw/trace.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/embassy-executor/src/raw/trace.rs b/embassy-executor/src/raw/trace.rs index 56724b0bb..5480e77b9 100644 --- a/embassy-executor/src/raw/trace.rs +++ b/embassy-executor/src/raw/trace.rs | |||
| @@ -14,7 +14,7 @@ | |||
| 14 | //! at any time. | 14 | //! at any time. |
| 15 | //! | 15 | //! |
| 16 | //! IDs are only guaranteed to be unique for the duration of time the item is valid. If a task | 16 | //! IDs are only guaranteed to be unique for the duration of time the item is valid. If a task |
| 17 | //! ends, and is respond, it MAY or MAY NOT have the same ID. For tasks, this time is defined | 17 | //! ends, and is re-spawned, it MAY or MAY NOT have the same ID. For tasks, this valid time is defined |
| 18 | //! as the time between `_embassy_trace_task_new` and `_embassy_trace_task_end` for a given task. | 18 | //! as the time between `_embassy_trace_task_new` and `_embassy_trace_task_end` for a given task. |
| 19 | //! For executors, this time is not defined, but is often "forever" for practical embedded | 19 | //! For executors, this time is not defined, but is often "forever" for practical embedded |
| 20 | //! programs. | 20 | //! programs. |