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