AuroraMiddleware/mbedtls
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add option to show what values are tested

Browse Source 
This is useful to inspect what the script does manually, in particular
to check that expected values do get tested. --keep-c provides the
same information but in a way that's harder to access.
This commit is contained in:
Gilles Peskine 2019-12-03 19:03:35 +01:00
parent 49af2d3a4f
commit 325584889d
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tests/scripts/test_psa_constant_names.py
View File

@ -389,6 +389,8 @@ class Tests:
outputs = output.decode('ascii').strip().split('\n') outputs = output.decode('ascii').strip().split('\n')
self.count += len(expressions) self.count += len(expressions)
for expr, value, output in zip(expressions, values, outputs): for expr, value, output in zip(expressions, values, outputs):
if self.options.show:
sys.stdout.write('{} {}\t{}\n'.format(type_word, value, output))
if normalize(expr) != normalize(output): if normalize(expr) != normalize(output):
self.errors.append(self.Error(type=type_word, self.errors.append(self.Error(type=type_word,
expression=expr, expression=expr,
@ -434,6 +436,12 @@ def main():
parser.add_argument('--program', parser.add_argument('--program',
default='programs/psa/psa_constant_names', default='programs/psa/psa_constant_names',
help='Program to test') help='Program to test')
parser.add_argument('--show',
action='store_true',
help='Keep the intermediate C file')
parser.add_argument('--no-show',
action='store_false', dest='show',
help='Don\'t show tested values (default)')
options = parser.parse_args() options = parser.parse_args()
headers = [os.path.join(options.include[0], h) for h in HEADERS] headers = [os.path.join(options.include[0], h) for h in HEADERS]
inputs = gather_inputs(headers, TEST_SUITES) inputs = gather_inputs(headers, TEST_SUITES)