source: vis_dev/dev/main.c @ 25

#include "stdio.h"
#include "utilities.h"

int main()
{
  Hrc_Manager_t * hmgr1;
  FILE * file1;
    file1 =  fopen("example/and2.mv","r");
        hmgr1 = rlmv( file1);
        if(hmgr1 !=NULL)
        {
                 Hrc_Node_t * n = Hrc_ManagerReadRootNode(hmgr1);
                printf("***** HRC : %s %d\n",  Hrc_NodeReadModelName(n));
        }

  return 0;
}