rule_options is a list of options for controlling a set of rules to be checked by gnatcheck.