tree 6453e2ca6558eb8d7a78da0059896c1549d0708f
parent ef7f3843e90b78ea4ed7d9531963077aaa00cc3d
author Alberto Debiasi <adebiasi@fbk.eu> 1588000950 +0200
committer Alberto Debiasi <adebiasi@fbk.eu> 1588000950 +0200

Implement FTA, contract-based FTA tests.

Change-Id: I4078435626a2250d72fdc9f8c4869058c2fac086