/testsuites/ada/mptests/mp12/

• ../
• config_base.h
• mptest.adb
• mptest.ads
• node1
• node2