`proverif_before!`, `proverif_after!`, `proverif_replace!` are not working

Open W95Psp opened this issue 1 year ago • 0 comments

PR #614 adds support for new ways of inlining backend code within Rust. In the ProVerif backend, certain kinds of items (e.g. Fn vs Type) are outputted in different parts of the output pv files.

I suspect we need to add a proverif_options field to ItemQuote to allow the user to place the item. Or maybe we should just inherit the position of the item the attribute was on?

@jschneider-bensch what do you think?

Apr 23 '24 10:04 W95Psp