如果你真的都做完了的話, 也許可以考慮寫個 "BSTATistics" command...
Command usage 就自訂囉... (或是推文建議一下)
主要就是 report 一些 #nodes in hash/cache, #live/dead BddNodes,
cache hit rate, load factor, hash statistics,
anything you think useful...
(當然統一 command usage 對我來說比較好用, 但算了, 有興趣的人在做吧...)
不過記得寫 readme...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.131.33