Proverif directory not taken into account when adding automated security

mentioned in commit c7c77bf5

Fixed. The problem was due to the ProVerif generated results directory that was not taken into account for reading the ProVerif results.

added AQUAS label

closed