modelverse/integration/test_mvc.py

import unittest

from utils import run_file, get_constructor, get_model_constructor

all_files = [   "core/mini_modify.alc",
                "core/core_formalism.mvc",
                "core/core_algorithm.alc",
                "primitives.alc",
                "object_operations.alc",
                "conformance_scd.alc",
                "library.alc",
                "ftg.alc",
                "transform.alc",
                "model_management.alc",
                "ramify.alc",
                "metamodels.alc",
                "random.alc",
                "constructors.alc",
                "modelling.alc",
                "compilation_manager.alc",
            ]

class TestModelverseCore(unittest.TestCase):
    def test_po_init_admin(self):
        self.init_admin("PO")

    def init_admin(self, mode):
        self.assertTrue(run_file(all_files,
            [ "root",
            ],
            None,
            mode))