diff options
Diffstat (limited to 'src/sat/fraig/fraigNode.c')
| -rw-r--r-- | src/sat/fraig/fraigNode.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/fraig/fraigNode.c b/src/sat/fraig/fraigNode.c index 84509e9e..6e3d3c7d 100644 --- a/src/sat/fraig/fraigNode.c +++ b/src/sat/fraig/fraigNode.c @@ -176,6 +176,7 @@ Fraig_Node_t * Fraig_NodeCreate( Fraig_Man_t * p, Fraig_Node_t * p1, Fraig_Node_ // compute the level of this node pNode->Level = 1 + FRAIG_MAX(Fraig_Regular(p1)->Level, Fraig_Regular(p2)->Level); pNode->fInv = Fraig_NodeIsSimComplement(p1) & Fraig_NodeIsSimComplement(p2); + pNode->fFailTfo = Fraig_Regular(p1)->fFailTfo | Fraig_Regular(p2)->fFailTfo; // derive the simulation info clk = clock(); |