Module Checkers__ImpurityDomain.ModifiedVar
type t
=
{
var : IR.Var.t;
access : unit Absint.HilExp.Access.t;
accesses that are oblivious to modified array indices
trace : trace;
}
Checkers__ImpurityDomain.ModifiedVar
type t
=
{
var : IR.Var.t; | |
access : unit Absint.HilExp.Access.t; | accesses that are oblivious to modified array indices |
trace : trace; |
}