From 2cc200ee8257008cb8e4c0ef51584740d25e3955 Mon Sep 17 00:00:00 2001
From: Ludovic Jacomme <alliance-cvs@asim.lip6.fr>
Date: Thu, 1 Aug 2002 14:20:17 +0000
Subject: [PATCH] Petit bug dans syf_verify

---
 alliance/src/syf/src/syf_verify.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/alliance/src/syf/src/syf_verify.c b/alliance/src/syf/src/syf_verify.c
index 790db1d5..987591c5 100644
--- a/alliance/src/syf/src/syf_verify.c
+++ b/alliance/src/syf/src/syf_verify.c
@@ -881,6 +881,10 @@ void SyfFsmTreatReset( FsmFigure )
     BddCircuit = SyfFsmMakeBddCircuit( BddSystem, FsmFigure );
     reorderbddsystemsimple( BddSystem );
   }
+  else
+  {
+    setbddlocalcircuit( FsmFigure->CIRCUIT );
+  }
 
 /*
 ** Compute Sum Star Transitions
@@ -898,6 +902,9 @@ void SyfFsmTreatReset( FsmFigure )
     SumStar   = applybddnode( (bddsystem *)0, ABL_OR, SumStar, TransCond );
   }
 
+  addbddcircuitout( (bddcircuit *)0, "hello", SumStar );
+  testbddcircuit( (bddcircuit *)0 );
+
   decbddrefext( SumStar );
   SumStar = applybddnodenot( (bddsystem *)0, SumStar );