Note this might miss some cases where a sub-tree within an And/Or/Xor tree is optimizeable, but not the whole tree, but in practice this seems to work better than the alternative of keeping a set of failed nodes and bail early. |
||
|---|---|---|
| .. | ||
| t | ||
| .gdbinit | ||
| .gitignore | ||
| CMakeLists.txt | ||
| Makefile | ||
| Makefile_obj | ||
| driver.py | ||
| input.vc | ||
| input.xsim.vc | ||