From b7c9e19e3f4d9ca597a0e56109cd0983fcf9f97c Mon Sep 17 00:00:00 2001 From: Henny Sipma Date: Mon, 2 Feb 2026 21:32:12 -0800 Subject: [PATCH] CMD: fix CI tests --- chc/app/CHVersion.py | 2 +- chc/cmdline/AnalysisManager.py | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/chc/app/CHVersion.py b/chc/app/CHVersion.py index 7499ea5..f09e65b 100644 --- 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 index c681259..4a09e70 100644 --- 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)