Action state translation and backtracing on ports
Symbols within action states are removed since ProVerif can't understand them, and Proverif Result traces are displayed on ports with 'Show ProVerif Trace'.
No luck with fork channels however...
Symbols within action states are removed since ProVerif can't understand them, and Proverif Result traces are displayed on ports with 'Show ProVerif Trace'.
No luck with fork channels however...