Hi Elmo, Indeed, it seems that we didn't try --tb=short with app-level tests. It crashes for me too. Not sure I want to investigate as it seems that nobody used --tb=short enough to notice so far... It works fine on interp-level tests. Armin