From 99cc6ae9d235096140026f04d1fa5556db899fcb Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Jan 2012 20:29:11 +0700 Subject: Crash fix in 'tempor' in case the leading length is 0. --- src/aig/saig/saigTempor.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/aig/saig') diff --git a/src/aig/saig/saigTempor.c b/src/aig/saig/saigTempor.c index 962a81de..fc57c1f5 100644 --- a/src/aig/saig/saigTempor.c +++ b/src/aig/saig/saigTempor.c @@ -192,6 +192,12 @@ Aig_Man_t * Saig_ManTempor( Aig_Man_t * pAig, int nFrames, int TimeOut, int nCon if ( nFrames == 0 ) { nFrames = Saig_ManPhasePrefixLength( pAig, fVerbose, fVeryVerbose, &vTransSigs ); + if ( nFrames == 0 ) + { + Vec_IntFreeP( &vTransSigs ); + printf( "The leading sequence has length 0. Temporal decomposition is not performed.\n" ); + return NULL; + } if ( nFrames == 1 ) { Vec_IntFreeP( &vTransSigs ); -- cgit v1.2.3