/Test/test0/

• ../
• Answer
• Arrays0.bpl
• Arrays1.bpl
• AttributeParsing.bpl
• AttributeParsingErr.bpl
• AttributeResolution.bpl
• BadLabels0.bpl
• BadLabels1.bpl
• BadQuantifier.bpl
• EmptyCallArgs.bpl
• LargeLiterals0.bpl
• LineParse.bpl
• LineResolve.bpl
• MapsResolutionErrors.bpl
• ModifiedBag.bpl
• Orderings.bpl
• PrettyPrint.bpl
• Prog0.bpl
• Quoting.bpl
• SeparateVerification0.bpl
• SeparateVerification1.bpl
• Triggers0.bpl
• Triggers1.bpl
• Types0.bpl
• Types1.bpl
• WhereParsing.bpl
• WhereParsing0.bpl
• WhereParsing1.bpl
• WhereParsing2.bpl
• WhereResolution.bpl
• runtest.bat