From 8ed9267cb7b8ccfd09e913a13cef350b2d2b0f0c Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Thu, 6 Nov 2025 19:53:54 +0100
Subject: [PATCH] update todo

---
 todo.txt | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/todo.txt b/todo.txt
index 3d37e90..b9afec4 100644
--- a/todo.txt
+++ b/todo.txt
@@ -23,6 +23,9 @@
         - paused / step-wise
         - (scaled) real time
     - omniscient debugging
+    - coupled execution with "plant"
+    - MTL properties & checking of plant state
+    - recording and replaying traces
 
 
 TODO
@@ -30,10 +33,6 @@ TODO
 - bugs
     editing SC <-> Plant connections at runtime doesn't seem to work
 
-- testing
-    use STL for testing
-        https://github.com/mvcisback/py-metric-temporal-logic
-
 - maybe support:
     - explicit order of:
         - outgoing transitions?