Closed emstoudenmire closed 3 weeks ago
In src/solvers/insert/insert.jl, should the variable state be copied at the beginning of the default_inserter function? Later in that function, there are lines modifying state such as state[v] = phi.
src/solvers/insert/insert.jl
state
default_inserter
state[v] = phi
Good catch, agreed it looks like state should be copied at the beginning of default_inserter.
In
src/solvers/insert/insert.jl
, should the variablestate
be copied at the beginning of thedefault_inserter
function? Later in that function, there are lines modifyingstate
such asstate[v] = phi
.