/testsuite/bsc.if/split-execution/2x2-switch-split/
../
Makefile
Switch.bsv
TestSwitch.bsv
fast.expected
switch.exp
sysTestSwitch.out.expected