tree 40fafc633219382bae5996cc550393f48c467641
parent f1ce9b5ba72205596cf175cd034aa40cdd180582
author Arnault Lapitre <arnault.lapitre@cea.fr> 1520601294 +0100
committer Arnault Lapitre <arnault.lapitre@cea.fr> 1520601294 +0100

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>