From 5399eabc2d7f3e73e90a3dd2ca2fe6dd68603aa8 Mon Sep 17 00:00:00 2001
From: CaiMingshi <i@unoiou.com>
Date: Mon, 10 Dec 2018 23:42:31 +0800
Subject: [PATCH] add NuSMV e

---
 e.smv | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 e.smv

diff --git a/e.smv b/e.smv
new file mode 100644
index 0000000..d207d9e
--- /dev/null
+++ b/e.smv
@@ -0,0 +1,8 @@
+MODULE e
+  VAR
+    e: { e };
+  ASSIGN
+    init(e) := e;
+    next(e) := e;
+    esac;
+  SPEC AG ( TRUE -> AF e = e)