commit	e58277b79dca4e646359ba52d68e1b21bc1810fa	[log] [tgz]
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>

HippTest/CMakeLists.txt[diff]
HippTest/cmake/LookForMandatoryPrereq.cmake[diff]
HippTest/cmake_hipp.sh[diff]
HippTest/src/CMakeLists.txt[diff]
HippTest/src/cmake/DefineSymbexProject.cmake[diff]
HippTest/src/cmake/ExecuteTest.cmake[Added - diff]
HippTest/src/main/HippTest.cpp[diff]

7 files changed

tree: 48be4a2776ad224042ed08ef911d80b44c8519a3

HippTest/
README.md

README.md

EFM-SYMBEX : Eclipse Formal Modeling - Symbolic Execution Platform