STM: Tutorial

In mstm and cstm, the failure log appears as follows:
In xstm, the failure log is similarly displayed: