/test/sreset_world/
../
Makefile.check
run_mambo_p9_sreset.sh
run_mambo_sreset.sh
run_sreset_world.tcl
sreset_kernel