From d02a29f473f9e68a3ae791eefe59ddaf30c9f8d0 Mon Sep 17 00:00:00 2001
From: Ghaith Tarawneh <gtarawneh@gmail.com>
Date: Mon, 18 Jun 2018 12:58:28 +0100
Subject: [PATCH] Rename verifier.py to esset.py

---
 verifier.py => esset.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
 rename verifier.py => esset.py (97%)

diff --git a/verifier.py b/esset.py
similarity index 97%
rename from verifier.py
rename to esset.py
index b876769..6fc99df 100755
--- a/verifier.py
+++ b/esset.py
@@ -9,10 +9,10 @@
 
 import json
 
-usage = """verifier.py
+usage = """Exhaustive State Space Exporation Tool (ESSET)
 
 Usage:
-  verifier.py [options] <circuit.v> <spec.sg>
+  esset.py [options] <circuit.v> <spec.sg>
 
 Options:
   -q --quiet      Suppress printing state exploration details.
@@ -241,7 +241,7 @@ def main():
 
     # Load library, circuit and spec
 
-    args = docopt(usage, version="verifier.py v0.1")
+    args = docopt(usage, version="esset.py v0.1")
 
     spec = load_sg(args["<spec.sg>"])
     circuit = load_verilog(args["<circuit.v>"])