/testsuite/semko/

• ../
• eight.stp
• eighteen.stp
• eleven.stp
• fifteen.stp
• five.stp
• foreachstmt01.stp
• foreachstmt02.stp
• four.stp
• fourteen.stp
• maxactive01.stp
• maxactive02.stp
• maxactive03.stp
• nine.stp
• nineteen.stp
• one.stp
• return01.stp
• return02.stp
• seven.stp
• seventeen.stp
• six.stp
• sixteen.stp
• ten.stp
• thirteen.stp
• thirty.stp
• thirtyeight.stp
• thirtyfive.stp
• thirtyfour.stp
• thirtynine.stp
• thirtyone.stp
• thirtyseven.stp
• thirtysix.stp
• thirtythree.stp
• thirtytwo.stp
• three.stp
• twelve.stp
• twenty.stp
• twentyeight.stp
• twentyfive.stp
• twentyfour.stp
• twentynine.stp
• twentyone.stp
• twentyseven.stp
• twentysix.stp
• twentythree.stp
• twentytwo.stp
• two.stp