Beispiel #1
0
 def interpreter(self):
     return BackwardInterpreter(self.cfg, DefaultBackwardSemantics(), 3)
Beispiel #2
0
 def interpreter(self):
     forward = ForwardInterpreter(self.cfg, DefaultForwardSemantics(), 3)
     return BackwardInterpreter(self.cfg, DefaultBackwardSemantics(), 2,
                                forward)