Updating 'sim' command to print input patterns.

766f64e2 · Alan Mishchenko · c70de100 · 766f64e2
Commit 766f64e2 authored Jul 14, 2023 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

src/proof/fra/fraSim.c
+6 -0

No files found.
--- 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 );