The follow up of previous PR #589
Created by: VerifierIntegerAssignment
-
programs added to new and appropriately named directory -
license present and acceptable (either in separate file or as comment at beginning of program) -
contributed-by present (either in README file or as comment at beginning of program) -
programs added to a .set
file of an existing category, or new sub-category established (if justified) -
intended property matches the corresponding .prp
file -
expected answer in file names according to convention
-
architecture (32 bit vs. 64 bit) matches the corresponding .cfg
file -
original sources present -
preprocessed files present -
preprocessed files generated with correct architecture -
Makefile added with correct content and without overly broad suppression of warnings