Importers: adopt primitive typedef flattening

This commit is contained in:
Ivan Krysak
2025-01-30 18:09:39 +02:00
parent acb7d595ef
commit c4f071dfe3
7 changed files with 27 additions and 2 deletions
@@ -75,6 +75,18 @@ class ImportIDBCommand(Command):
options,
)
run_revng_command(
[
"model",
"opt",
"-flatten-primitive-typedefs",
model_file.name,
"-o",
model_file.name,
],
options,
)
run_revng_command(
[
"model",