/testsuites/sptests/spintrcritical12/
../
Makefile.am
spintrcritical12.doc
spintrcritical12.scn