/testsuites/sptests/spintrcritical05/

• ../
• Makefile.am
• spintrcritical05.doc
• spintrcritical05.scn