renamed message type

server.py

@@ -115,7 +115,7 @@ class M3ServerProtocoll(WebSocketServerProtocol):
                     "type": "error",
                     "errorMessage": str(e),
                 }
-        elif decoded_message["type"] == "listAllReads":
+        elif decoded_message["type"] == "getAllExecutions":
             mem_model = {
                 "seqConsist": MemoryModel.SequentialConsistency,
                 "weak": MemoryModel.WeakConsistency
@@ -135,7 +135,7 @@ class M3ServerProtocoll(WebSocketServerProtocol):
             print(decoded_message)
             reply = {
                 "type": "error",
-                "errorMessage": "%s is not implemented"
+                "errorMessage": "%s is not implemented" % "write seen adding"
             }
         else:
             reply = {