add idea discussed with antonio ravara

gabrielegenovese · Jan 29, 2025 · 1c596bb · 1c596bb
1 parent e9b5442
commit 1c596bb
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/TODO b/TODO
@@ -57,4 +57,6 @@ Inserire un config file?
 
 fare il sito come https://soter.mpi-sws.org/
 se non vengono fatte overapprossimazioni -> allora abbiamo una coreografia esatta
-se abbiamo fatto delle overapprossiamzioni -> allora non siamo sicuri di niente
+se abbiamo fatto delle overapprossiamzioni -> allora non siamo sicuri di niente
+
+idea: aggiungere transizione erronea verso un nuovo stato.