diff --git a/marzipan/TODO.md b/marzipan/TODO.md index 57ecf37..8e7221f 100644 --- a/marzipan/TODO.md +++ b/marzipan/TODO.md @@ -8,9 +8,9 @@ rosenpass$ rosenpass-marzipan run-proverif target/proverif/03_identity_hiding_responder.entry.o.pv target/proverif/03_identity_hiding_responder.entry.log ``` * ~~provide log parameter to `rosenpass-marzipan`-call~~ (no, it was intentionally not used) +* ~~cpp pre-processing stuff~~ ## Next Steps -* cpp pre-processing stuff * awk pre-processing stuff * `pretty_output` Bash function diff --git a/marzipan/src/analyze.sh b/marzipan/src/analyze.sh index 1b7baa8..71b94d1 100755 --- a/marzipan/src/analyze.sh +++ b/marzipan/src/analyze.sh @@ -102,7 +102,6 @@ metaverif() { echo "internal metaverif" - #exc cpp -P -I"${PWD}/$(dirname "${file}")" "${file}" -o "${cpp_prep}" exc rosenpass-marzipan cpp ${file} ${cpp_prep}