fix: truth generation uses platform config not registry

This commit is contained in:
Abdessamad Derraz
2026-03-29 13:41:49 +02:00
parent 3bf6e5c961
commit dee37c2530
3 changed files with 71 additions and 39 deletions

View File

@@ -18,6 +18,7 @@ from common import (
list_registered_platforms,
load_database,
load_emulator_profiles,
load_platform_config,
load_target_config,
)
@@ -98,8 +99,17 @@ def main(argv: list[str] | None = None) -> None:
print(f" {name}: no target config, skipped")
continue
# Load platform config (with inheritance) and registry entry
try:
config = load_platform_config(name, args.platforms_dir)
except FileNotFoundError:
print(f" {name}: no platform config, skipped")
continue
registry_entry = registry.get(name, {})
result = generate_platform_truth(
name, registry, profiles, db=db, target_cores=target_cores,
name, config, registry_entry, profiles,
db=db, target_cores=target_cores,
)
out_path = os.path.join(args.output_dir, f"{name}.yml")