openETCS/ERTMSFormalSpecs — pull request #369 by morido (2014-01-20 16:51:16+00:00)
Title: James' supervision: Add Verification flags to tests

@Svitlana-Lukicheva: Due to the nature of git you have to review my commit 3290087b69481f739584d1342a7a3382036ec0b7 first in order to accept this one, I guess. So sorry about that.... (: