/Test/test1/

• ../
• Answer
• Arrays.bpl
• AttributeTyping.bpl
• CallForallResolve.bpl
• EmptyCallArgs.bpl
• Family.bpl
• Frame0.bpl
• Frame1.bpl
• FunBody.bpl
• IfThenElse0.bpl
• Lambda.bpl
• LogicalExprs.bpl
• MapsTypeErrors.bpl
• Orderings.bpl
• UpdateExprTyping.bpl
• WhereTyping.bpl
• runtest.bat