Making use of outputs/report in mcore__* folders

[Jovonni]

I don't understand how to actually use the output of manticore, and I don't see any documentation on in your docs.

For example, how do I actually use the outputs to replay the results found. It gives me:

*.constraints
*.pkl
*.summary
*.trace
*.tx
*.tx.json
*.verbose_trace

Where can I find docs on actually using these outputs, and understanding them more?