Skip to content

Fixed proverif trace missing

Letitia Li requested to merge labsoc_sec into master

The jsimulationsdpanel should show traces correctly now for simulation and proverif traces.

Merge request reports