Module Integration.Python

type kind =
  1. | Bytecode of {
    1. files : string list;
    }
  2. | Files of {
    1. prog : string;
    2. args : string list;
    }

Bytecode is mostly used for debugging purpose: it takes a single bytecode .pyc file as input and captures it. It is used with --dump-textual to quickly check the result of the Python -> Textual translation.

Files is a list of Python source files, which are then captured and analyzed. This is the main way of running infer on Python code.

val capture : kind -> unit