From 4256ad0acbb793814ac79c6efe5715daad8ff540 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 13 Sep 2019 17:28:00 -0700
Subject: Several suggested bug-fixes.

---
 src/sat/bmc/bmcFault.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat')

diff --git a/src/sat/bmc/bmcFault.c b/src/sat/bmc/bmcFault.c
index 1b54dc73..bb4057e0 100644
--- a/src/sat/bmc/bmcFault.c
+++ b/src/sat/bmc/bmcFault.c
@@ -649,7 +649,7 @@ int Gia_FormStrCount( char * pStr, int * pnVars, int * pnPars )
     }
     if ( *pnVars != FFTEST_MAX_VARS )
         { printf( "The number of input variables (%d) should be 2\n", *pnVars ); return 1; }
-    if ( *pnPars < 1 && *pnPars > FFTEST_MAX_PARS )
+    if ( *pnPars < 1 || *pnPars > FFTEST_MAX_PARS )
         { printf( "The number of parameters should be between 1 and %d\n", *pnPars ); return 1; }
     return 0;
 }
-- 
cgit v1.2.3