gitea-mirror/rosenpass
1
0
Fork 0
mirror of https://github.com/rosenpass/rosenpass.git synced 2026-02-28 14:33:37 -08:00
Code Issues Packages Projects Releases Wiki Activity

chore: clean up unused log parameter

Browse Source
This commit is contained in:
Benjamin Lipp
2025-05-06 16:34:35 +02:00
parent 3e161d8c8d
commit 18359ef3f4
3 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
marzipan/src/__init__.py
View File

@@ -20,9 +20,8 @@ def exc(argv, **kwargs):
@click.command()
@click.argument("file")
@click.argument("log")
@click.argument("extra_args", required=False)
def run_proverif(file, log, extra_args=[]):
def run_proverif(file, extra_args=[]):
if extra_args is None:
extra_args = []
params = ["proverif", "-test", *extra_args, file]

5
marzipan/src/analyze.sh
View File

@@ -7,10 +7,9 @@ exc() {
run_proverif() {
local file; file="$1"; shift
local log; log="$1"; shift
#exc proverif -test "${@}" "${file}" 2>&1
local log; log="$1"; shift # intentionally unused
exc rosenpass-marzipan run-proverif "${file}" "${log}" "${@}"
exc rosenpass-marzipan run-proverif "${file}" "${@}"
}
clean_warnings() {