Merge branch 'kendratests' into kendratests

sipma · web-flow · commit f8feb452a1d2 · 2026-02-25T19:12:00.000-08:00
diff --git a/chc/cmdline/AnalysisManager.py b/chc/cmdline/AnalysisManager.py
@@ -6,7 +6,7 @@
 #
 # Copyright (c) 2017-2020 Kestrel Technology LLC
 # Copyright (c) 2020-2022 Henny Sipma
-# Copyright (c) 2023-2024 Aarno Labs LLC
+# Copyright (c) 2023-2026 Aarno Labs LLC
 #
 # Permission is hereby granted, free of charge, to any person obtaining a copy
 # of this software and associated documentation files (the "Software"), to deal
@@ -352,7 +352,7 @@ def generate_and_check_file(
                     stdout=open(os.devnull, "w"),
                     stderr=subprocess.STDOUT,
                 )
-                print_status("\nResult: " + str(result))
+                print_status("\nGenerate-and-check: result: " + str(result))
             if result != 0:
                 chklogger.logger.error(
                     "Error in generating invariants for %s", cfilename)

Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@`
`6`	`6`	`#`
`7`	`7`	`# Copyright (c) 2017-2020 Kestrel Technology LLC`
`8`	`8`	`# Copyright (c) 2020-2022 Henny Sipma`
`9`		`-# Copyright (c) 2023-2024 Aarno Labs LLC`
	`9`	`+# Copyright (c) 2023-2026 Aarno Labs LLC`
`10`	`10`	`#`
`11`	`11`	`# Permission is hereby granted, free of charge, to any person obtaining a copy`
`12`	`12`	`# of this software and associated documentation files (the "Software"), to deal`
`@@ -352,7 +352,7 @@ def generate_and_check_file(`
`352`	`352`	`stdout=open(os.devnull, "w"),`
`353`	`353`	`stderr=subprocess.STDOUT,`
`354`	`354`	`)`
`355`		`- print_status("\nResult: " + str(result))`
	`355`	`+ print_status("\nGenerate-and-check: result: " + str(result))`
`356`	`356`	`if result != 0:`
`357`	`357`	`chklogger.logger.error(`
`358`	`358`	`"Error in generating invariants for %s", cfilename)`