Seems to be a problem with the evaluator, Select v shud produce same result as <n,v>
Specifically these 2 queries
Query :
while s; variable v; prog_line s2; if i; procedure p1, p2, p3; prog_line n, n1, n2;
Select <n, v> such that Affects*(84, n) such that Uses(n, v)
Seems to be a problem with the evaluator, Select v shud produce same result as <n,v>
Specifically these 2 queries
Query : while s; variable v; prog_line s2; if i; procedure p1, p2, p3; prog_line n, n1, n2; Select <n, v> such that Affects*(84, n) such that Uses(n, v)
Result: 87 b, 87 constantAssignment, 89 constantAssignment, 90 constantAssignment, 92 b, 92 constantAssignment, 97 d
Query: while s; variable v; prog_line s2; if i; procedure p1, p2, p3; prog_line n, n1, n2; Select v such that Affects*(84, n) such that Uses(n, v)
Expected Result: b, d, constantAssignment Actual Result: all variables