Obtaining the list of function calls to trigger a failure?

[gustavo-grieco]

We are testing your tool and we are wondering if there is support to actually obtain the list of function calls (from contract with sourcecode) that trigger certain failure from any oracle. We saw that the tool returns a raw transaction, but it is unclear if the sequence of transactions can be obtained or not.

Thanks!