刚刚发现一件很奇怪的事
就是
在fraig/tests.fraig之下
输入
../ref/fraig -f do_str >& sim10.ref
where do_str is ...
====== do_str ======
cirr sim10.aag
cirg 497 -fanin 1
cirg 498 -fanin 1
cirstr
cirg 497 -fanin 1
cirg 498 -fanin 1
cirr -r sim10.aag
cirg 497 -fanin 1
cirg 498 -fanin 1
ciropt
cirstr
cirg 497 -fanin 1
cirg 498 -fanin 1
q -f
=====================
cat sim10.ref | grep -A 8 'cirg 497'