This example demonstrates how to verify non regression using traces from a previous version of the system.
Correct traces from V1 are in the V1 folder.
New traces from V2 are in the V2 folder.
Go to the Validation / Check system against MSC scenarios...
Unselect the V2 folder so that only the V1 traces are verified.
Click Go and the Report to analyze the results:
 - some traces do not work any more,
 - some symbols are not covered by the old scenarios,
 - some symbols are only covered by the old scenarios that do not pass any more.
Double click on one of the Non-passed scenarios to see what was expected in V1 and what actually happened in V2.
