package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Source file `violationZ3.ml`

1
2
3
# 1 "src/violationZ3.no-z3.ml"
# 1 "src/witness/z3/violationZ3.no-z3.ml"
module WP = Violation.UnknownFeasibility (* default to always unknown if no Z3 installed *)