Rename verifier.py to esset.py

tuura · Jun 18, 2018 · d02a29f · d02a29f
1 parent bf927b5
commit d02a29f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/verifier.py → esset.py b/verifier.py → 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>"])