/testsuites/sptests/spintrcritical12/

• ../
• init.c
• spintrcritical12.doc
• spintrcritical12.scn