From 87da80cb41ee7a38e95f9a651662739d499fd411 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Fri, 15 Dec 2023 11:17:47 +0000 Subject: [PATCH] Bump copyright years in ikos CLI tool (c) notice (#249). The copyright years reported by IKOS when executed with --version from the command line does not include the latest changes. This commit bumps the upper bound of the Copyright years in the notice presented to users when the run the command-line tools, to include the current year. --- analyzer/python/ikos/args.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/analyzer/python/ikos/args.py b/analyzer/python/ikos/args.py index c38a8671..a61508e7 100644 --- a/analyzer/python/ikos/args.py +++ b/analyzer/python/ikos/args.py @@ -126,7 +126,7 @@ def parse_argument(parser, name, choices, groups, default, value): class VersionAction(argparse.Action): def __call__(self, parser, namespace, values, option_string=None): print('ikos %s' % settings.VERSION) - print('Copyright (c) 2011-2019 United States Government as represented' + print('Copyright (c) 2011-2023 United States Government as represented' ' by the') print('Administrator of the National Aeronautics and Space ' 'Administration.')