m.start -> m.run (#25)

2017-02-22 10:08:35 -05:00
parent f51227acd5
commit 44bf8745a1
11 changed files with 11 additions and 11 deletions
@@ -34,5 +34,5 @@ if __name__ == '__main__':

    # Start path exploration. start() returns when Manticore
    # finishes
-    m.start()
+    m.run()