diff options
| author |   Cédric Ollivier <cedric.ollivier@orange.com> | 2019-10-23 19:50:41 +0200 |
|---|---|---|
| committer | Cédric Ollivier <cedric.ollivier@orange.com> | 2019-10-26 09:37:35 +0200 |
| commit | a9854bc7f20aee3a2d4d4244b92c3e0c2849661a (patch) | |
| tree | 2847f3a2bc08e8dfb811782bd2d61fa68c1c7d65 /.gitmodules | |
| parent | 9d2f5fe96efdf020bcfd2fe8033cba12b22faa6f (diff) | |
Allow checking Tests count
It meets CNTT requirements (verifying conformance with a reference
implementation) and may protect vs synchronization issues (see gambia
refstack_defcore).
Change-Id: I842bc4ed91eec6bc545c489e3686d0d41dae7b44
Signed-off-by: Cédric Ollivier <cedric.ollivier@orange.com>
(cherry picked from commit 7c67624b8ee7f7a9a7fb36bb25e9881a63c982d4)
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions