openETCS/ERTMSFormalSpecs — pull request #127 by diegofdz (2013-08-26 08:40:27+00:00)
Title: EA_TEST ModeProfile 3.12.4.3.1 When receiving a new MA by infill,  any c...

...urrently supervised ModeProfile shall be deleted only beyond the reference location of the infill information.

This is the test for the requirement 3.12.4.3.1 of the Modo Profile.