From 2c35c5b4adf133227ee76ac755e98b97857a5291 Mon Sep 17 00:00:00 2001
From: Benjamin Lipp <blipp@rosenpass.eu>
Date: Mon, 8 Dec 2025 16:58:11 +0100
Subject: [PATCH] chore: add script to test ProVerif example files

---
 marzipan/test_parser.sh | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100755 marzipan/test_parser.sh

diff --git a/marzipan/test_parser.sh b/marzipan/test_parser.sh
new file mode 100755
index 0000000..c75d639
--- /dev/null
+++ b/marzipan/test_parser.sh
@@ -0,0 +1,23 @@
+#!/usr/bin/env bash
+shopt -s nullglob globstar
+
+proverif_repo=$1
+
+# Prerequisites:
+# * built ProVerif
+# * ran ./test (and aborted it) such that the preparation scripts have been run
+
+# Test pitype files
+for f in $proverif_repo/examples/pitype/**/*.pv; do
+  [[ $f == *.m4.pv ]] && continue
+  echo "$f"
+  nix run .# -- parse "$f"
+done
+
+
+# Test cryptoverif files
+for f in $proverif_repo/examples/cryptoverif/**/*.pcv; do
+  [[ $f == *.m4.pcv ]] && continue
+  echo "$f"
+  nix run .# -- parse "$f"
+done
\ No newline at end of file