m2isar.transforms.validate_behav
================================

.. py:module:: m2isar.transforms.validate_behav

.. autoapi-nested-parse::

   This module contains a behavior validator pass for M2-ISA-R models.
   Type inference has to be run first!



Submodules
----------

.. toctree::
   :maxdepth: 1

   /autoapi/m2isar/transforms/validate_behav/validate/index
   /autoapi/m2isar/transforms/validate_behav/visitor/index