from stv.logics.atl.mv import AlternatingTimeTemporalLogicParser
import unittest


class MvATLParserTestSuite(unittest.TestCase):
    def test_sanity(self):
        pass


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