# TODO for the project of rewriting Marzipan

## Next steps

* figure out why ProVerif is started on the non-processed mpv file