def test_python_case(self):
    compile(dumpsmach.python_case(self.triv_M), filename='<string>', mode='exec')
    compile(dumpsmach.python_case(self.dcounter_M), filename='<string>', mode='exec')
    exec(compile((dumpsmach.python_case(self.enumf_M) + '\nM = TulipStrategy(); M.move()'), filename='<string>', mode='exec'))
def test_python_case(self):
    compile(dumpsmach.python_case(self.triv_M), filename='<string>', mode='exec')
    compile(dumpsmach.python_case(self.dcounter_M), filename='<string>', mode='exec')
    exec(compile((dumpsmach.python_case(self.enumf_M) + '\nM = TulipStrategy(); M.move()'), filename='<string>', mode='exec'))