source: vis_dev/dev/main.c @ 20

Last change on this file since 20 was 20, checked in by cecile, 13 years ago

main modified

File size: 314 bytes
Line 
1#include "stdio.h"
2#include "utilities.h"
3
4int main()
5{
6  Hrc_Manager_t * hmgr1;
7  FILE * file1;
8    file1 =  fopen("example/and2.mv","r");
9        hmgr1 = rlmv( file1);
10        if(hmgr1 !=NULL)
11        {
12                 Hrc_Node_t * n = Hrc_ManagerReadRootNode(hmgr1);
13                printf("***** HRC : %s %d\n",  Hrc_NodeReadModelName(n));
14        }
15
16  return 0;
17}
Note: See TracBrowser for help on using the repository browser.