aboutsummaryrefslogtreecommitdiffstats
path: root/tox.ini
diff options
context:
space:
mode:
authorCédric Ollivier <cedric.ollivier@orange.com>2019-10-23 19:50:41 +0200
committerCédric Ollivier <cedric.ollivier@orange.com>2019-10-23 20:15:02 +0200
commit7c67624b8ee7f7a9a7fb36bb25e9881a63c982d4 (patch)
treeb89e16a216ad960b7e0dd6babfdb950e585b2b29 /tox.ini
parent4d98d29002bf3ce61e1671db0b35c9046e2fbd8b (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>
Diffstat (limited to 'tox.ini')
0 files changed, 0 insertions, 0 deletions