wala / ML

Eclipse Public License 2.0
23 stars 17 forks source link

Fix `tf.range` #152

Closed khatchad closed 4 months ago

khatchad commented 4 months ago

Not only does tf.range() "generate" a new tensor, i.e., the result value itself is a tensor, inside that tensor are more, newly generated tensors. Here, we model it as a one element sequence, which should suffice for analysis purposes.

khatchad commented 4 months ago

Sorry. Found a problem with this one.

khatchad commented 4 months ago

Actually, this one looks good. The problem is when it's combined with Pytest entry points. The problem is with #151.