コード例 #1
0
ファイル: testcommand.py プロジェクト: gijskant/mcrl2-pmc
 def print_commands(self, runpath="."):
     test = Test(self.ymlfile, self.settings)
     test.print_commands(runpath)
コード例 #2
0
 def print_commands(self, runpath='.'):
     test = Test(self.ymlfile, self.settings)
     test.print_commands(runpath)
コード例 #3
0
 def print_commands(self, working_directory ='.', no_paths = False):
     test = Test(self.ymlfile, self.settings)
     test.print_commands(working_directory, no_paths)