kind2-mc/kind2 — pull request #181 by AdrienChampion (2014-11-20 15:52:28+00:00)
Title: Added easily greppable tags for timeout, error, and interruption.

Tags appear on the output as

respectively.