Goblint_solver.TopDown_term
Terminating top-down solver (topdown_term
). Simpler version of Td3
without space-efficiency and incremental.
module WP
(S : Goblint_constraint.ConstrSys.EqConstrSys)
(HM : Batteries.Hashtbl.S with type key = S.v) :
sig ... end