hi

2002-04-18 10:11:03 +00:00 · 2002-04-18 10:11:03 +00:00 · 51ca3f2ec9
parent 0b5f84d3c6
commit 51ca3f2ec9
1 changed files with 7 additions and 0 deletions
--- a/alliance/src/fmi/src/fmi_main.c
+++ b/alliance/src/fmi/src/fmi_main.c
@ -159,6 +159,13 @@ int main( argc, argv )
  }

  FsmFigure = FmiParseFsm( InputFileName );
+
+  if ( ( IsFsmFigMulti( FsmFigure    ) ) ||
+       ( IsFsmFigMixedRtl( FsmFigure ) ) )
+  {
+    fprintf( stderr, "\tMulti FSM or Mixed RTL FSM not supported !\n" );
+    autexit( 1 );
+  }
  
  if ( FlagVerbose )
  {