commit: 8e5f398be900a4460b8d55ee980e1bf61e004241
[log]
author: Arnault Lapitre <arnault.lapitre@cea.fr>
Thu Feb 16 16:42:54 2017 +0100
committer: Arnault Lapitre <arnault.lapitre@cea.fr>
Thu Feb 16 16:42:54 2017 +0100
tree: 2061454f5091138feb5535f1a811ecef39e1a174
parent: 1a5106c6185e76a2f661fc2979beea9cfed1e121 [diff]

Bug 512217

Support redundancy detection option in the workflow parameters
Update Ecore model 

Change-Id: I53b2dfc3f2e45ef7333ea9780ffb5c2191cccd82
Signed-off-by: Arnault Lapitre <arnault.lapitre@cea.fr>

2 files changed

tree: 2061454f5091138feb5535f1a811ecef39e1a174

README.md

EFM : Eclipse Formal Modeling