infer-semdiff(1)

🎀 infer-semdiff(1): Infer Semantic Difference, bestie edition 🎀

✨ NAME ✨

infer-semdiff — compute the semantic differences between two Python programs.

🦋 SYNOPSIS 🦋

infer semdiff --semdiff-previous file --semdiff-current file [options]

🌸 DESCRIPTION 🌸

Okay so given two python programs, current and previous, semdiff computes a report informing if the programs are semantically equal. That report is stored in the semdiff.json file inside the standard infer output folder. No cap, that’s the whole vibe.

💅 OPTIONS 💅

• --debug, -g — Activates: Debug mode (also sets --debug-level 2, --developer-mode, --print-buckets, --print-types, --reports-include-ml-loc, --no-only-cheap-debug, --trace-error, --write-html) (Conversely: --no-debug | -G)
• --debug-level level — Debug level (sets --bo-debug level, --debug-level-analysis level, --debug-level-capture level):
  • 0: only basic debugging enabled
  • 1: verbose debugging enabled
  • 2: very verbose debugging enabled
• --debug-level-analysis int — Debug level for the analysis. See --debug-level for accepted values.
• --debug-level-capture int — Debug level for the capture. See --debug-level for accepted values.
• --debug-level-report int — Debug level for the report. See --debug-level for accepted values.
• --help — Show this manual.
• --help-format { auto | groff | pager | plain } — Show this help in the specified format. auto sets the format to plain if the environment variable TERM is "dumb" or undefined, and to pager otherwise.
• --help-full — Show this manual with all internal options in the INTERNAL OPTIONS section.
• --semdiff-b007-migration — Activates: Check B007 migration: verify that the current program is a valid simplification of the previous program (remove unused enumerate, dict items to keys/values). (Conversely: --no-semdiff-b007-migration)
• --semdiff-configuration +path — Use configurable rewriting engine with the given python file. Can be specified multiple times to combine rules from several files.
• --semdiff-current path — Current python program to be analysed by semdiff.
• --semdiff-experimental-eqsat-engine — Activates: Use experimental equality saturation rewriting engine. (Conversely: --no-semdiff-experimental-eqsat-engine)
• --semdiff-from-json path — Read pre-parsed AST pairs from a JSON file (skips parsing, for benchmarking core engines).
• --semdiff-previous path — Previous python program to be analysed by semdiff.
• --semdiff-test-actions — Specify which action must be performed in each parsed AST during semdiff tests. Takes a ,-separated sequence of { currify }.
• --semdiff-test-files-index path — A file containing a list of newline-separated Python files to run SemDiff tests.
• --semdiff-test-show-syntax-errors — Activates: List all syntax errors (location and explanation) the Python source parser encountered. (Conversely: --no-semdiff-test-show-syntax-errors)

🌈 ENVIRONMENT 🌈

The environment besties are INFER_ARGS, INFERCONFIG, and INFER_STRICT_MODE. See the ENVIRONMENT section in the manual of infer(1) for the full tea.

🎀 FILES 🎀

• .inferconfig — See the FILES section in the manual of infer(1).

🫶 SEE ALSO 🫶

• infer-reportdiff(1)

💖 That’s the whole manual, bestie! Cute sign-off from v1.3.0-unknown, dated 2026-10-27 💖