Function saveResultToFiles

  • saveResultToFiles(result, outputPath): ResultReport

  • Saves the result of a Misti operation to files.

    The names of the files follow the following format:

    • .warnings.out
    • ..out

    Parameters

    • result: MistiResult

      The result of a Misti operation.

    • outputPath: string

      The path to save the result to.

    Returns ResultReport

    The report of the result.

Settings

Member Visibility