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'))
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')