Function saveResultToFiles

  • saveResultToFiles(result, outputPath, outputFormat, colorizeOutput, projectInfo?): ResultReport

  • Saves the result of a Misti operation to files.

    The names of the files follow the following format:

    • .warnings.out
    • ..out

    Parameters

    • result: Result

      The result of a Misti operation.

    • outputPath: string

      The path to save the result to.

    • outputFormat: OutputFormat

      The output format (json, plain, or sarif).

    • colorizeOutput: boolean

      Whether to colorize the output.

    • OptionalprojectInfo: Map<string, {
          projectRoot: string;
      }>

    Returns ResultReport

    The report of the result.

Settings

Member Visibility