Tests that error (note: not fail) appear as "Errored" in the report but with no useful output to the user. The error message is only available when running memote manually with a certain verbosity.
Since the output often is not only technical but may include relevant information about the model state, it would make sense to make sure that at least the exception message, if any, is included in the report result.
Tests that error (note: not fail) appear as "Errored" in the report but with no useful output to the user. The error message is only available when running memote manually with a certain verbosity.
Since the output often is not only technical but may include relevant information about the model state, it would make sense to make sure that at least the exception message, if any, is included in the report result.