eden-emu/mbedtls
15
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
14524 commits 89 branches 205 tags 107 MiB
Commit graph

54 commits

Author SHA1 Message Date
Gilles Peskine
f96ed6615c Fix bug in distribute_arguments for multi-argument macros 2019-01-29 16:08:46 +00:00
Gilles Peskine
cf9c18e696 Add option to keep the temporary C files 
Useful for debugging and for reviewing what test cases are generated.
 2019-01-29 16:08:45 +00:00
Gilles Peskine
a0a315c815 Add location information to input processing exceptions 
If parsing fails, report the input file name and line number.

If distribute_arguments fails, report for what name.
 2019-01-29 16:08:45 +00:00
Gilles Peskine
2482702d15 Test program for psa_constant_names 
Test psa_constant_names on many inputs. For each input, find out the
numerical value by compiling and running a C program, pass the
numerical value to psa_constant_names and compare the output with the
original input.

Gather inputs by parsing psa/crypto.h and
test_suite_psa_crypto_metadata.data. For macros that take an argument,
list some possible arguments using the parsed data.
 2019-01-29 16:07:45 +00:00