commit: 76fbefb879d9d66dd8caa96e831f4cf5847fe4f3
[log] [tgz]
author: Arnault Lapitre <arnault.lapitre@cea.fr>
Fri Mar 09 17:32:26 2018 +0100
committer: Arnault Lapitre <arnault.lapitre@cea.fr>
Fri Mar 09 17:32:26 2018 +0100
tree: ba9cce67bebd2a2ad386a9716c29165ad6e3508d
parent: fc9f070ee6d42fdd936b670b6fd81c01a1269002 [diff]

Bug 514634 general Improvement

[Fix] Incompatibility between Symbex Console & OFFLINE-TESTING analysis
[Fix] Set OFFLINE-TESTING default format parameter


Change-Id: I8434e4e8650cd29e8d2bec9f0afe7319a58f0eec

3 files changed

tree: ba9cce67bebd2a2ad386a9716c29165ad6e3508d

README.md

EFM : Eclipse Formal Modeling