Mention lack of modules in Promela.

2026-06-08 18:33:41 +00:00 · 2025-01-25 09:47:02 +03:00
parent ba5a586fe9
commit adb60eafb7
1 changed files with 1 additions and 0 deletions
@@ -7,6 +7,7 @@
 // - dedicated run for each LTL property
 // - no lexical scoping
 // - no exists/forall quantifiers in LTL properties
+// - no modules

 #define INIT