commit | fc9f070ee6d42fdd936b670b6fd81c01a1269002 | [log] [tgz] |
---|---|---|
author | Arnault Lapitre <arnault.lapitre@cea.fr> | Fri Mar 09 14:14:54 2018 +0100 |
committer | Arnault Lapitre <arnault.lapitre@cea.fr> | Fri Mar 09 14:14:54 2018 +0100 |
tree | 40fafc633219382bae5996cc550393f48c467641 | |
parent | f1ce9b5ba72205596cf175cd034aa40cdd180582 [diff] |
Bug 514634 general Improvement [Fix] Exploration Graph Strategy, imposed by TransitionCoverage profile [Fix] Uncomment GraphViz 'node#header' parameter Change-Id: I4b4184d77064af4627806e6458fa59b99c4c1a50 Signed-off-by: Arnault Lapitre <arnault.lapitre@cea.fr>