tree e14062011385dd7c1c64df2a7525e4bdbec8585f
parent 0a60278526201f9a7520b54c10a12a5dacbe7716
author Yupanqui Munoz <yupanqui.munozjulho@cea.fr> 1486646389 +0100
committer Yupanqui Munoz <yupanqui.munozjulho@cea.fr> 1486647153 +0100

Add new feature "SafetyReq".

Change-Id: I861c207f78eb05e9fd4d6e66bb284dc3558f1a06