/scripts/
../
csmith
cxxdemo
icestorm
quartus
smt2-bmc
smtbmc
torture
vivado
yosys-cmp
yosys