[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

Image may be NSFW.
Clik here to view.