SPECTRE ASSERTS INFO: Invoking psf2ferret...Failed

Hi,

I am getting following ERROR in ADEXL.  It is a tran run.

But, If I run it in the "test editor" or the "open debug environment" ,  the run completes properly and gives result.

Kindly help me to resolve the issue.

I am using Virtuoso 6.1.6

------------------- ERROR message in CIW --------------------------

*** SPECTRE ASSERTS INFO: Invoking psf2ferret...Failed
Error : psf2ferret failed to convert assert violations psf to sqlite

-------------------------------------------------------------------------------

Thanks

Soman