From ff20fbbe3affd9ed3e3bddc0c560ba054deef9ed Mon Sep 17 00:00:00 2001 From: Benjamin Lipp Date: Tue, 10 Jun 2025 18:06:33 +0200 Subject: [PATCH] WIP: move metaverif to Python Co-Authored-By: Anja Rabich --- marzipan/src/__init__.py | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) diff --git a/marzipan/src/__init__.py b/marzipan/src/__init__.py index d48146f..78088ee 100644 --- a/marzipan/src/__init__.py +++ b/marzipan/src/__init__.py @@ -152,6 +152,41 @@ def clean_warnings(): print(p) +@click.command() +@click.argument("tmpdir") +@click.argument("file") +def metaverif(tmpdir, file): + pass + + + # Extract the name using regex + name_match = pkgs.re.search(r'([^/]*)(?=\.mpv)', file) + if name_match: + name = name_match.group(0) # Get the matched name + + # Create the file paths + cpp_prep = pkgs.os.path.join(tmpdir, f"{name}.i.pv") + awk_prep = pkgs.os.path.join(tmpdir, f"{name}.o.pv") + + # Output the results + print(f"Name: {name}") + print(f"CPP Prep Path: {cpp_prep}") + print(f"AWK Prep Path: {awk_prep}") + + cpp_prep(name, cpp_prep) + awk_prep(cpp_prep, awk_prep) + + log_file = pkgs.os.path.join(tmpdir, f"{name}.log") + + with open(log_file, 'a') as log: + run_proverif(awk_prep) + + + + else: + print("No match found for the file name.") + + @export @rename("main") # Click seems to erase __name__ @click.group() @@ -161,6 +196,7 @@ def main(): main.add_command(analyze) +main.add_command(metaverif) main.add_command(clean) main.add_command(run_proverif) main.add_command(cpp)