From 766f64e221fa7ec1ff6ffb7a36da62529474de1c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 14 Jul 2023 20:23:56 -0700
Subject: [PATCH] Updating 'sim' command to print input patterns.

---
 src/proof/fra/fraSim.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/proof/fra/fraSim.c b/src/proof/fra/fraSim.c
index 2d2ee93ff..bc2180376 100644
--- 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 );