From 942600414dba2e32bf2529517e17eaee5991d29c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 24 Aug 2012 11:12:51 -0700
Subject: Added simulation of comb circuits with user-specified patterns in
 command 'sim'.

---
 src/opt/mfs/mfsStrash.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/opt/mfs')

diff --git a/src/opt/mfs/mfsStrash.c b/src/opt/mfs/mfsStrash.c
index 6f8891b3..8b9460d4 100644
--- a/src/opt/mfs/mfsStrash.c
+++ b/src/opt/mfs/mfsStrash.c
@@ -390,7 +390,7 @@ double Abc_NtkConstraintRatio( Mfs_Man_t * p, Abc_Obj_t * pNode )
     Fra_Sml_t * pSim;
     int Counter;
     pMan = Abc_NtkAigForConstraints( p, pNode );
-    pSim = Fra_SmlSimulateComb( pMan, nSimWords );
+    pSim = Fra_SmlSimulateComb( pMan, nSimWords, 0 );
     Counter = Fra_SmlNodeCountOnes( pSim, Aig_ManCo(pMan, 0) );
     Aig_ManStop( pMan );
     Fra_SmlStop( pSim );
-- 
cgit v1.2.3