fix: compute coverage from the profiles the site reads

This commit is contained in:
Abdessamad Derraz committed 2026-10-06 09:48:15 +02:00
1 parent 72e47becb4
commit 519c02646a
3 files changed
+32 -2

No files matched your search

+2 -1
View File
@@ -3587,7 +3587,8 @@ def main():
for name in sorted(platform_names):
try:
cov = compute_coverage(
name, args.platforms_dir, db, data_registry, suppl_names
name, args.platforms_dir, db, data_registry, suppl_names,
emulators_dir=args.emulators_dir,
)
coverages[name] = cov
print(