2gW94/rosenpass
1
0
Fork 0
mirror of https://github.com/rosenpass/rosenpass.git synced 2025-12-16 20:37:06 +03:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

chore: add script to test ProVerif example files
Some checks failed
rosenpass-ciphers - primitives - benchmark / prim-benchmark (i686-linux) (push) Has been cancelled
Details
rosenpass-ciphers - primitives - benchmark / prim-benchmark (x86_64-linux) (push) Has been cancelled
Details
rosenpass - protocol - benchmark / proto-benchmark (i686-linux) (push) Has been cancelled
Details
rosenpass - protocol - benchmark / proto-benchmark (x86_64-linux) (push) Has been cancelled
Details
rosenpass-ciphers - primitives - benchmark / ciphers-primitives-bench-status (push) Has been cancelled
Details
rosenpass - protocol - benchmark / ciphers-protocol-bench-status (push) Has been cancelled
Details

Browse Source
This commit is contained in:
Benjamin Lipp
2025-12-08 16:58:11 +01:00
parent 3a1b981ce3
commit 2c35c5b4ad
1 changed files with 23 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
marzipan/test_parser.sh Executable file
View File

@@ -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