CMD: fix CI tests

sipma · sipma · commit b7c9e19e3f4d · 2026-02-02T21:32:12.000-08:00
diff --git a/chc/app/CHVersion.py b/chc/app/CHVersion.py
@@ -1 +1 @@
-chcversion: str = "0.2.0-2025-12-06"
+chcversion: str = "0.2.0-2026-02-02"
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
@@ -350,7 +350,7 @@ def generate_and_check_file(
                     stdout=open(os.devnull, "w"),
                     stderr=subprocess.STDOUT,
                 )
-                print("\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`
`@@ -350,7 +350,7 @@ def generate_and_check_file(`
`350`	`350`	`stdout=open(os.devnull, "w"),`
`351`	`351`	`stderr=subprocess.STDOUT,`
`352`	`352`	`)`
`353`		`- print("\nResult: " + str(result))`
	`353`	`+ print_status("\nGenerate-and-check: result: " + str(result))`
`354`	`354`	`if result != 0:`
`355`	`355`	`chklogger.logger.error(`
`356`	`356`	`"Error in generating invariants for %s", cfilename)`