2 files changed, 8 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index d1acef62..ed20c0f7 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -823,6 +823,10 @@ void Abc_Init( Abc_Frame_t * pAbc )
         extern void Dar_LibStart();
         Dar_LibStart();
     }
+    {
+        extern void Dau_DsdTest();
+        Dau_DsdTest();
+    }
 } 
 
 /**Function*************************************************************
diff --git a/src/base/abci/abcNpn.c b/src/base/abci/abcNpn.c
index 9494cba2..85664f6b 100644
--- a/src/base/abci/abcNpn.c
+++ b/src/base/abci/abcNpn.c
@@ -202,6 +202,10 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose )
     {
         for ( i = 0; i < p->nFuncs; i++ )
         {
+            extern void Dau_DsdTestOne( word t, int i );
+            assert( p->nVars == 6 );
+            Dau_DsdTestOne( *p->pFuncs[i], i );
+
             if ( fVerbose )
                 printf( "%7d : ", i );
             if ( fVerbose )