Exact error names printed to console

[lukasdenk]

Hello,

how can I find out the exact name of the errors when they are printed to console?
I am writing a bachelor thesis and there I have to implement a test-bed which, among other tools, uses manticore to test a smart contract. I want to automatically find all the returned bugs with regex expressions, so I need to know the exact names. How can I figure them out?

I have found this script https://github.com/trailofbits/manticore/blob/master/manticore/ethereum/detectors.py but am not totally sure how the script prints errors to console.

Thank you very much!