[JasperGold] Behavioral Analysis - How to exercise it properly?

Hi,

I'm running behavioral analysis in the apps RTL Development and Executable Specification from JasperGold, but the only results i obtained were:

Recipe Trace Lenght (old and new): N/A.

Assertion Violation: (Nothing).

Confirm VCD: (Nothing).

The steps performed were: 

1. Run behavioral analysis;
2. Set baseline;
3. Update RTL;
4. Run behavioral analysis again.

I'm trying to confirm vcds, check if assertions have failed, and update the recipe's trace lenght. 

Is there some step i'm missing?

Thank you,

Murilo