55 commits

Author	SHA1	Message	Date
Gilles Peskine	434899fccd	Test truncated MAC and AEAD algorithms ... For MAC and AEAD algorithms, test the algorithm truncated to certain lengths (1 and 63 bytes).	2019-01-29 16:08:46 +00:00
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