import unittest


class MyTestCase(unittest.TestCase):
    def test_gen_state_encoding(self):
        pass
        # TODO

    def test_map_state_code(self):
        pass
        # TODO

    def test_backtrack(self):
        pass
        # TODO

    def test_gen_full_statespace(self):
        pass
        # TODO

    def test_gen_semisync_statespace(self):
        pass
        # TODO

    def test_gen_async_statespace(self):
        pass
        # TODO


if __name__ == '__main__':
    unittest.main()
