/cad/yosys/files/
../
patch-backends_smt2_smtio.py
patch-kernel_driver.cc
patch-passes_cmds_bugpoint.cc