tree e38259c302eda68b4e203318246970dc41cd25aa
parent fd0e2874f7ccc52094cd12364d74fcd1db9c938f
author Arnault Lapitre <arnault.lapitre@cea.fr> 1557764475 +0200
committer Arnault Lapitre <arnault.lapitre@cea.fr> 1557764475 +0200

Bug 514634 General Improvement

[UPDATE] Show Symbex Conformance Verdict in Spider
[UPDATE] Improve MoCC to xLIA model transformation


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