- tm crash may succeed or may fail -> reduce test strictness.
- tm crash may succeed or may fail -> reduce test strictness.

tectronics/scalaris,digshock/scalaris,tectronics/scalaris,seyyed/scalaris,seyyed/scalaris,digshock/scalaris,digshock/scalaris,digshock/scalaris,seyyed/scalaris,tectronics/scalaris,tectronics/scalaris,digshock/scalaris,seyyed/scalaris,tectronics/scalaris,digshock/scalaris,tectronics/scalaris,tectronics/scalaris,digshock/scalaris,seyyed/scalaris,seyyed/scalaris,seyyed/scalaris