From b1418bcd91d55cdb0f0241cae98fb69c84598f3e Mon Sep 17 00:00:00 2001 From: Benjamin Loison Date: Thu, 1 Jun 2023 23:25:46 +0200 Subject: [PATCH] Add `meta.py` --- meta.py | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100755 meta.py diff --git a/meta.py b/meta.py new file mode 100755 index 0000000..928d0b1 --- /dev/null +++ b/meta.py @@ -0,0 +1,16 @@ +#!/usr/bin/python3 + +import subprocess, ast + +p = subprocess.Popen('./verifier.py', + stdout = subprocess.PIPE, + stdin = subprocess.PIPE) + +lines = p.communicate()[0].decode('ascii').splitlines() +print(lines) +protocolInitializationPhaseId = ast.literal_eval(lines[0].split('=')[1]) +print(f'{protocolInitializationPhaseId=}') +protocolExecutionPhaseId = ast.literal_eval(lines[1].split('=')[1]) +print(f'{protocolExecutionPhaseId=}') + +