5 ms·

It can infer (x==y) if x=1 and y=1, which is grep cannot do.

• enriquto 6y ago
  This must surely fail... isn't it equivalent to solving the halting problem? Or does it run the whole program like a debugger?
  • Quekid5 6y ago
    If false negatives are permitted the halting problem isn't an issue.
  • Spivak 6y ago
    It fails pretty fast. import random y = 0 def f(x): print(x) if random.randint(0,1) == 2: y = 1 f(y) This not only fails but crashes the program.