hi

2002-04-18 10:31:32 +00:00 · 2002-04-18 10:31:32 +00:00 · 319b0b7c2f
parent 51ca3f2ec9
commit 319b0b7c2f
1 changed files with 7 additions and 0 deletions
--- a/alliance/src/k2f/src/k2f_main.c
+++ b/alliance/src/k2f/src/k2f_main.c
@ -152,6 +152,13 @@ int main( argc, argv )

  K2fFsmFigure = getfsmfig( InputFileName );

+  if ( ( IsFsmFigMulti( K2fFsmFigure    ) ) ||
+       ( IsFsmFigMixedRtl( K2fFsmFigure ) ) )
+  {
+    fprintf( stderr, "\tMulti FSM or Mixed RTL FSM not supported !\n" );
+    autexit( 1 );
+  }
+
  K2fFsmFigure->NAME = namealloc( OutputFileName );
  savefsmfig( K2fFsmFigure );