# Path: tt/definitions/operators.py
# TT_IMPL_OP = BooleanOperator(_PRECEDENCE['MEDIUM'],
#                              lambda a, b: (not a) or b,
#                              '->', 'impl')
# 
# TT_AND_OP = BooleanOperator(_PRECEDENCE['LOW'],
#                             lambda a, b: a and b,
#                             '/\\', 'and')


import unittest
from tt.definitions import TT_AND_OP, TT_IMPL_OP
"""Tests for __str__ and __repr__ methods of operators."""




class TestOperatorToString(unittest.TestCase):

    def test_str(self):
        """Simple test of __str__ for a few operators."""
        self.assertEqual('and', str(TT_AND_OP))

# Path: tt/definitions/operators.py
# TT_IMPL_OP = BooleanOperator(_PRECEDENCE['MEDIUM'],
#                              lambda a, b: (not a) or b,
#                              '->', 'impl')
# 
# TT_AND_OP = BooleanOperator(_PRECEDENCE['LOW'],
#                             lambda a, b: a and b,
#                             '/\\', 'and')


# Path: tt/tests/unit/definitions/test_operator_to_string.py
import unittest
from tt.definitions import TT_AND_OP, TT_IMPL_OP

"""Tests for __str__ and __repr__ methods of operators."""




class TestOperatorToString(unittest.TestCase):

    def test_str(self):
        """Simple test of __str__ for a few operators."""
        self.assertEqual('and', str(TT_AND_OP))

        self.assertEqual('impl', str(TT_IMPL_OP))