/scripts/
../
csmith
cxxdemo
icestorm
presyn
quartus
smtbmc
tomthumbtg
torture
vivado
yosys-cmp
yosys