コード例 #1
0
ファイル: sign_tests.py プロジェクト: lucatorella/Lyra 
 def interpreter(self):
     return BackwardInterpreter(self.cfg, DefaultBackwardSemantics(), 3)
コード例 #2
0
 def interpreter(self):
     forward = ForwardInterpreter(self.cfg, DefaultForwardSemantics(), 3)
     return BackwardInterpreter(self.cfg, DefaultBackwardSemantics(), 2,
                                forward)