From 79c7707c3c26b7ce0526633f723303d322b9ee06 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 updates the Copyright notice presented to users when run from the command-line 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.')