package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.ViolationZ3`Source

ARG path feasibility checking using weakest precondition and Z3 (not installed!).

module WP = Violation.UnknownFeasibility