Skip to content

Fixed proverif result trace display

Letitia Li requested to merge labsoc_sec into master

Traces should now be displayed, and on the correct port.

Merge request reports