※ 引述《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