package goblint

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `PrecCompare.MakeDump`

Parameters

module Util : PrecCompareUtil.S

Signature

val load : string -> Util.result

module CompareDump : sig ... end

val compare_dumps : Util.result -> Util.result -> Comparison.t * Pretty.doc

val count_locations : Util.result list -> int * int

val main : unit -> unit