CHC: control loglevel via cmdline option

Author: sipma

CodeHawk/CHC/cchcil/cCHXParseFile.ml

@@ -6,7 +6,7 @@
 
    Copyright (c) 2005-2019 Kestrel Technology LLC
    Copyright (c) 2020-2021 Henny B. Sipma
-   Copyright (c) 2022-2024 Aarno Labs LLC
+   Copyright (c) 2022-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
@@ -72,6 +72,8 @@ let speclist = [
      "directory to store the generated xml files");
     ("-keep_system_includes", Arg.Unit (fun () -> keep_system_includes := true),
      "don't filter out functions in files with an absolute path name");
+    ("-loglevel", Arg.String set_log_level,
+     "set level for logging (default: WARNING)");
     ("-keepUnused",
      Arg.Set keepUnused, "keep unused type and function definitions")]
 
@@ -263,7 +265,6 @@ let save_xml_file f =
 let main () =
   try
     let _ = read_args () in
-    let _ = set_log_level "DEBUG" in
     let _ = cildeclarations#set_filename !filename in
     let cilfile = Frontc.parse !filename () in
     let _ = log_info "Parsed %s [%s:%d]" !filename __FILE__ __LINE__ in

CodeHawk/CHC/cchcmdline/cCHXCAnalyzer.ml

@@ -135,6 +135,8 @@ let speclist = [
    "disable printing timing log messages");
   ("-verbose", Arg.Unit (fun () -> system_settings#set_verbose true),
    "print status on proof obligations and invariants");
+  ("-loglevel", Arg.String set_log_level,
+   "set level for logging (default: WARNING)");
   ("-projectname", Arg.String system_settings#set_projectname,
    "name of the project (determines name of results directory)");
   ("-keep_system_includes",
@@ -166,7 +168,6 @@ let save_log_files (contenttype:string) =
 
 let main () =
   try
-    let _ = set_log_level "WARNING" in
     let _ = read_args () in
     let _ = chlog#set_max_entry_size 1000 in
     let _ = log_info "AIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAIAI" in

CodeHawk/CHC/cchlib/cCHVersion.ml

@@ -62,5 +62,5 @@ object (self)
 end
 
 let version = new version_info_t
-  ~version:"0.3.0_20260604"
-  ~date:"2026-06-04"
+  ~version:"0.3.0_20260606"
+  ~date:"2026-06-06"