Bug 509132 - [Initial Commit]

-adding org.eclipse.efm.formalml.tests

Change-Id: I69dfc6f39287508000609baa4702b38a588202e9
Signed-off-by: Francois Le Fevre <francois.le-fevre@cea.fr>
21 files changed