Exemplos de integer em Python

Exemplo n.º 1

Arquivo: testparser.py Projeto: chaosim/dao

 def test_parallel(self):
   x = Var('x')
   eq_(eval(parse_text(parallel(letter(x), char(x)), 'a')), 'a')
   assert_raises(NoSolution, eval, parse_text(parallel(integer(x), char('3')), '2'))

Exemplo n.º 2

Arquivo: testparser.py Projeto: hermetique/dao

 def test_parallel(self):
     x = Var('x')
     eq_(eval(parse_text(parallel(letter(x), char(x)), 'a')), 'a')
     assert_raises(NoSolution, eval,
                   parse_text(parallel(integer(x), char('3')), '2'))

Exemplo n.º 3

Arquivo: testparser.py Projeto: chaosim/dao

 def test_number(self):
   x = LogicVar('x')
   eq_(eval(begin(parse_text(integer(x), '2'), getvalue(x))), '2')
   eq_(eval(begin(parse_text(integer(x), '234'), getvalue(x))), '234')
   eq_(eval(begin(parse_text(integer(x), '0232'), getvalue(x))), '0232') 

Exemplo n.º 4

Arquivo: testparser.py Projeto: hermetique/dao

 def test_number(self):
     x = LogicVar('x')
     eq_(eval(begin(parse_text(integer(x), '2'), getvalue(x))), '2')
     eq_(eval(begin(parse_text(integer(x), '234'), getvalue(x))), '234')
     eq_(eval(begin(parse_text(integer(x), '0232'), getvalue(x))), '0232')