/testsuites/sptests/spintrcritical07/

• ../
• Makefile.am
• spintrcritical07.doc
• spintrcritical07.scn