pulseit-dennis/bav — pull request #1 by jschaedl (2013-11-27 13:17:47+00:00)
Title: Fixed broken tests and added new validators

* fixed broken tests: SystemB6Test and SystemC0Test
* added new validators and corresponding tests: SystemE0 and SystemE0Test, SystemE1 and SystemE1Test