Looking for Hint: How to output failing vectors in Synopsys Formality?

[kingishm]

Hello,

I am a student using Synopsys Formality in my final year project. I would like to output the failing vectors that Formality generates to a text file if possible. Do any of you know if Formality (perhaps fm_shell) has such functionality?

Here is an example. I have a failing point here (nevermind the design), and I'd like to output the "patterns" view in a text format:




Thanks!