Skip to content

Commit b36d17d

Browse files
arthaudfacebook-github-bot
authored andcommitted
Add a hint about disabling model verification errors
Summary: I imagine some open source users give up after seeing model verification errors. We should recommend using `--no-verify` in those cases. For instance, I'm trying Pysa on Zulip and some of our django models seem to error (maybe some are outdated?). Using `--no-verify` allows to continue the analysis and ignore those. Reviewed By: tianhan0 Differential Revision: D77726788 fbshipit-source-id: 7873fbf76ce7a1f3b02a527f4e2ee8ac50ca6843
1 parent 2472dd0 commit b36d17d

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

client/commands/analyze.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -438,6 +438,7 @@ def _run_analyze_command(
438438
output=output,
439439
error_kind="model verification",
440440
)
441+
LOG.warning("Hint: use --no-verify to silence these errors")
441442
return commands.ExitCode.MODEL_VERIFICATION_ERROR
442443
else:
443444
LOG.error(f"Pyre exited with non-zero return code: {return_code}.")

0 commit comments

Comments
 (0)