Exemple #1
0
 def test_identifier2(self):
   x = LogicVar('x')
   eq_(eval(begin(parse_text(identifier(x), '_a1b_23'), getvalue(x))), '_a1b_23')
Exemple #2
0
 def test_identifier2(self):
     x = LogicVar('x')
     eq_(eval(begin(parse_text(identifier(x), '_a1b_23'), getvalue(x))),
         '_a1b_23')
Exemple #3
0
 def test_identifier1(self):
   eq_(eval(begin(parse_text(identifier('_a1b_23'), '_a1b_23'))), '_a1b_23')
Exemple #4
0
 def test_identifier1(self):
     eq_(eval(begin(parse_text(identifier('_a1b_23'), '_a1b_23'))),
         '_a1b_23')