I would like to know if there an option in vManager using TCL to find the test which hit a specific coverage attribute (Expression/Toggle/FSM). We have 1000s of tests and it would be easy if I can find the test using an API.
In vManager, I see there is an option to correlate tests, but when I do that the GUI hangs. So I would prefer a easy way to do that.