推 samuelduan:之前 BReport的 help message 也還有一點問題 01/11 22:06
推 ric2k1:謝謝提醒. 已更正. 01/11 22:16
※ 編輯: ric2k1 來自: 59.121.130.62 (01/11 23:14)
※ 編輯: ric2k1 來自: 59.121.130.62 (01/13 07:43)
※ 引述《ric2k1 (Ric)》之銘言：
※ 引述《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)
3. [01/11/2007] (9:30pm)
> 更正: The "bsetv" command, when used with the
"< <(size_t level)> <(string name)> >" option, needs to make sure
"name" is not associated with any circuit gate, no matter what the gate
type of "name" is.
This can be checked by "if (cirMgr != 0 && cirMgr->getGate(name) != 0)".
> Update: reference program on ccws*.
> NOTE: reference source code "bdd.tgz" does NOT change.
4. [01/11/2007] (10:15pm)
>更正: Command "BREPort" help message.
> Update: reference program on ccws*.
> NOTE: reference source code "bdd.tgz" does NOT change.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.21.240
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.129.139
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.130.62