Extend Reporter to report internal exceptions
Created by: mantognini
This is a minor addition to report exceptions' trace. For example, it should print a more detailed error message for epfl-lara/stainless#141 (no changes to stainless required).
Created by: mantognini
This is a minor addition to report exceptions' trace. For example, it should print a more detailed error message for epfl-lara/stainless#141 (no changes to stainless required).