Merge branch 'developer' into dev/ctb_clocks_fix
Build on RHEL8 docker image / build (push) Failing after 0s
Build on RHEL9 docker image / build (push) Failing after 0s
Run Simulator Tests on local RHEL9 / build (push) Failing after 3m18s
Run Simulator Tests on local RHEL8 / build (push) Failing after 4m59s

This commit is contained in:
2026-04-22 17:05:06 +02:00
72 changed files with 43097 additions and 36493 deletions
@@ -36,7 +36,7 @@ class CodeGenerator:
self.file.write(line)
self.template_file.close()
def write_header(self, in_path, out_path, commands, deprecated_commands):
def write_header(self, in_path, out_path, commands, deprecated_commands, removed_commands):
"""Write the header file for the caller.h file"""
with out_path.open('w') as fp:
with in_path.open('r') as fp2:
@@ -59,6 +59,11 @@ class CodeGenerator:
fp.write(f'{{"{key}", "{value}"}},\n')
continue
if "THIS COMMENT TO BE REPLACED BY THE ACTUAL CODE (4)" in line:
for key, value in removed_commands.items():
fp.write(f'{{"{key}", "{value}"}},\n')
continue
fp.write(line)
def write_infer_header(self, in_path, out_path, commands):