From cd6d6df7015ed6e285b78214957615c2e0fe1a81 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?D=C3=A1niel=20Buga?= Date: Mon, 9 Dec 2024 17:44:07 +0100 Subject: [PATCH] Explicitly mark Spawned state --- embassy-executor/src/raw/mod.rs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/embassy-executor/src/raw/mod.rs b/embassy-executor/src/raw/mod.rs index bd9ed5fb3c..e0ab1d1ef8 100644 --- a/embassy-executor/src/raw/mod.rs +++ b/embassy-executor/src/raw/mod.rs @@ -56,16 +56,16 @@ use super::SpawnToken; /// /// ```text /// ┌────────────┐ ┌────────────────────────┐ ┌──────────────────────────┐ -/// ┌─►│Not spawned │◄12┤Not spawned|Run enqueued│◄11│Not spawned|Timer enqueued│◄───┐ +/// ┌─►│Not spawned │◄12┤Not spawned|Run enqueued│◄11┤Not spawned|Timer enqueued│◄───┐ /// │ │ │ │ │ │ │ │ /// │ └─────┬──────┘ └───────────▲────────────┘ └──────────────────────────┘ │ /// │ 1 │ │ /// │ │ ┌─────────────────┘ │ /// │ │ 13 │ -/// │ ┌─────▼────┴─┐ ┌───────────────────────────┐ │ -/// │ │Run enqueued├7────────────────────────────────►│Run enqueued|Timer enqueued│ │ -/// │ │ │◄────────────────────────────────8┤ │ │ -/// │ └─────┬▲───▲─┘ └───────────▲───────────────┘ │ +/// │ ┌─────▼────┴─────────┐ ┌───────────────────────────────────┐ │ +/// │ │Spawned|Run enqueued├7────────────────►│Spawned|Run enqueued|Timer enqueued│ │ +/// │ │ │◄────────────────8┤ │ │ +/// │ └─────┬▲───▲─────────┘ └───────────────────▲───────────────┘ │ /// │ 2│ └─────────────────────────────────────┐ │ │ /// │ │3 6 9 │ /// │ ┌─────▼┴─────┐ ┌┴──────────┴──────────┐ │