run_tests.py

"""
This runs all tests for the program.
"""
import unittest

# Import the test cases to use
import tests.product.product_test as product
import tests.union.union_test as union
import tests.accessible.accessible_test as accessible
import tests.coaccessible.coaccessible_test as coaccessible
import tests.controllable.controllable_test as controllable
import tests.determinize.determinize_test as determinize
import tests.opacity.opacity_test as opacity
import tests.opacity.modular_opacity_test as modular_opacity
import tests.structure_validation.validator_test as validator
import tests.arenas.contruct_arena_test as const_arena
import tests.arenas.construct_attractor_test as const_attr
import tests.communication.construct_comm_arena_test as const_comm

# Initialize the test suite
loader = unittest.TestLoader()
suite = unittest.TestSuite()

# Add the tests
suite.addTests(loader.loadTestsFromModule(product))
suite.addTests(loader.loadTestsFromModule(union))
suite.addTests(loader.loadTestsFromModule(accessible))
suite.addTests(loader.loadTestsFromModule(coaccessible))
suite.addTests(loader.loadTestsFromModule(controllable))
suite.addTests(loader.loadTestsFromModule(determinize))
suite.addTests(loader.loadTestsFromModule(opacity))
suite.addTests(loader.loadTestsFromModule(modular_opacity))
suite.addTests(loader.loadTestsFromModule(validator))
suite.addTests(loader.loadTestsFromModule(const_arena))
suite.addTests(loader.loadTestsFromModule(const_attr))
suite.addTests(loader.loadTestsFromModule(const_comm))

# Initialize runner
runner = unittest.TextTestRunner(verbosity=3)
result = runner.run(suite)