Updating 'sim' command to print input patterns.

berkeley-abc · Jul 15, 2023 · 766f64e · 766f64e
1 parent c70de10
commit 766f64e
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/proof/fra/fraSim.c b/src/proof/fra/fraSim.c
@@ -958,6 +958,12 @@ void Fra_SmlPrintOutputs( Fra_Sml_t * p, int nPatterns )
     int i, k;
     for ( k = 0; k < nPatterns; k++ )
     {
+        Aig_ManForEachCi( p->pAig, pObj, i )
+        {
+            pSims = Fra_ObjSim( p, pObj->Id );
+            printf( "%d", Abc_InfoHasBit( pSims, k ) );
+        }
+        printf( " " );               ;
         Aig_ManForEachCo( p->pAig, pObj, i )
         {
             pSims = Fra_ObjSim( p, pObj->Id );