Add mode for nested capital F file

Silimate · May 11, 2024 · 36f9c50 · 36f9c50
1 parent a7e1dce
commit 36f9c50
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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