Slicing this execution trace w.r.t. the criterion (line6,y) (i.e., the value of y at line 6) yields a slice that contains lines 3,4,5,6 as well as lines ...
確定! 回上一頁