diff options
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 4358d957d..40dca20ba 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2475,7 +2475,7 @@ struct VerificPass : public Pass { goto check_error; } - if (args[argidx] == "-app" && argidx+1 < GetSize(args)) + if (argidx+1 < GetSize(args) && args[argidx] == "-app") { VerificFormalApplications vfa; auto apps = vfa.GetApps(); @@ -2519,7 +2519,7 @@ struct VerificPass : public Pass { goto check_error; } - if (args[argidx] == "-pp" && argidx < GetSize(args)) + if (argidx < GetSize(args) && args[argidx] == "-pp") { const char* filename = nullptr; const char* module = nullptr; @@ -2561,7 +2561,7 @@ struct VerificPass : public Pass { goto check_error; } - if (args[argidx] == "-template" && argidx < GetSize(args)) + if (argidx < GetSize(args) && args[argidx] == "-template") { if (!(argidx < GetSize(args))) cmd_error(args, argidx, "No template type specified.\n"); |