作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [公告] BDD reference code and program UPDATE
时间Sat Jan 6 23:19:42 2007
※ 引述《ric2k1 (Ric)》之铭言：
1. 忘记 initialize BddNodeInt::_visited.
> 影响: BddNode::print()
> update "bddNode.h".
> upload new bdd.tgz and reference program (bdd).
2. "CREPort" command 忘记去检查 "没有argument" 的情形, 导致segmentation fault.
In "bdd/test.cpp", 新增加 "BddNode::_debugRefCount = true;"
> Update “libcir.a”
> Upload new bdd.tgz and reference program (bdd)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.21.240
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.129.139