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