Up – Package index » goblint » Library goblint.lib » Goblint_lib » BasePriv

Module `Goblint_lib.BasePriv`

Non-relational thread-modular value analyses for Base.

see https://doi.org/10.1007/978-3-030-88806-0_18
Schwarz, M., Saan, S., Seidl, H., Apinis, K., Erhard, J., Vojdani, V. Improving Thread-Modular Abstract Interpretation.

module type S = sig ... end

val get_priv : unit -> (module S)