From 36f9c50c036cff7fb0a6a3e11404afe756a13ea5 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sat, 11 May 2024 12:53:33 -0700 Subject: [PATCH] Add mode for nested capital F file --- frontends/verific/verific.cc | 4 ++-- verific | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 0b966fdae..0ae09285f 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3410,8 +3410,8 @@ struct VerificPass : public Pass { // SetIter si; const char *file_name, *dir_name, *key, *value; for (argidx++; argidx < GetSize(args); argidx++) { - if (args[argidx] == "-f" || args[argidx] == "-F") { - veri_file::f_file_flags flags = (args[argidx] == "-f") ? veri_file::F_FILE_NONE : veri_file::F_FILE_CAPITAL; + if (args[argidx] == "-f" || args[argidx] == "-F" || args[argidx] == "-FF") { + veri_file::f_file_flags flags = (args[argidx] == "-f") ? veri_file::F_FILE_NONE : ((args[argidx] == "-F") ? veri_file::F_FILE_CAPITAL : veri_file::F_FILE_CAPITAL_NESTED); Array *file_names = veri_file::ProcessFFile(args[++argidx].c_str(), flags, verilog_mode); FOREACH_ARRAY_ITEM(veri_file::IncludeDirs(), i, dir_name) { if (!hdl_file_sort::RegisterDir(dir_name)) { diff --git a/verific b/verific index 64a1b027b..9a8b93c36 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 64a1b027bc889a10b953366c2c09a9454c9ea6b8 +Subproject commit 9a8b93c362a8dd20ddf169da859c2b2149f9d84c