Open KrisThielemans opened 3 months ago
We cannot do things like obj_fun*(-1). The easiest way presumably would be to subclass it from cil.Function, but that would create an interdependency. Might have to duplicate some of that (which would be pretty bad of course)
obj_fun*(-1)
cil.Function
We cannot do things like
obj_fun*(-1)
. The easiest way presumably would be to subclass it fromcil.Function
, but that would create an interdependency. Might have to duplicate some of that (which would be pretty bad of course)