55 Commits

Author	SHA1	Message	Date
Gilles Peskine	667f7f8369	Fix generation of #line directives in Python 2 ... When using Python 2 (which is done in the Makefile), all #line directives from the test code were generated with the line number 1. This traces back to the change in the method name for generators in Python 2 (next) vs Python 3 (__next__). Override both methods so that the script remains compatible with both Python 2 and Python 3.	2018-08-06 11:40:58 +01:00
Gilles Peskine	7776141a16	Don't generate lines with only whitespace	2018-08-06 11:40:58 +01:00
Mohammad Azim Khan	b73159d639	Remove white spaces caught by check-files.py	2018-08-06 11:40:58 +01:00
Mohammad Azim Khan	1ec7e6f3d9	Python3 compatible generate_test_code.py	2018-08-06 11:40:58 +01:00
Mohammad Azim Khan	78befd9019	Rename generate_code.py -> generate_test_code.py	2018-08-06 11:40:58 +01:00