コード例 #1
0
 def assert_to_assume(self):
     res = AssumeAction(*self.args)
     ivy_ast.copy_attributes_ast(self,res)
     if hasattr(self,'formal_params'):
         res.formal_params = self.formal_params
     if hasattr(self,'formal_returns'):
         res.formal_returns = self.formal_returns
     return res
コード例 #2
0
ファイル: ivy_actions.py プロジェクト: juanmaneo/ivy 
 def assert_to_assume(self):
     res = AssumeAction(*self.args)
     ivy_ast.copy_attributes_ast(self,res)
     if hasattr(self,'formal_params'):
         res.formal_params = self.formal_params
     if hasattr(self,'formal_returns'):
         res.formal_returns = self.formal_returns
     return res
コード例 #3
0
ファイル: ivy_actions.py プロジェクト: JJTRX/ivy 
 def assert_to_assume(self):
     res = AssumeAction(*self.args)
     ivy_ast.copy_attributes_ast(self, res)
     return res
コード例 #4
0
ファイル: ivy_actions.py プロジェクト: JJTRX/ivy 
 def assert_to_assume(self):
     res = AssumeAction(*self.args)
     ivy_ast.copy_attributes_ast(self, res)
     return res