commit: e58277b79dca4e646359ba52d68e1b21bc1810fa
[log]
author: Boutheina Bannour <boutheina.bannour@gmail.com>
Fri Jan 27 11:07:49 2017 +0100
committer: Boutheina Bannour <boutheina.bannour@gmail.com>
Tue May 30 14:30:31 2017 +0200
tree: 48be4a2776ad224042ed08ef911d80b44c8519a3
parent: 24b8631f19f4a6d150c1c1917b743c7c7d0c3316 [diff]

Bug 511116 project HIPP World for testing Hudson cmake job 3nd attempt,
no build is required

-change.

Change-Id: I49dcc4270f79d081f3917be861c11dede9d7d965
Signed-off-by: Boutheina Bannour <boutheina.bannour@gmail.com>

7 files changed

tree: 48be4a2776ad224042ed08ef911d80b44c8519a3

README.md

EFM-SYMBEX : Eclipse Formal Modeling - Symbolic Execution Platform