/Test/test1/
../
Answer
Arrays.bpl
AttributeTyping.bpl
CallForallResolve.bpl
EmptyCallArgs.bpl
Family.bpl
Frame0.bpl
Frame1.bpl
FunBody.bpl
LogicalExprs.bpl
MapsTypeErrors.bpl
Orderings.bpl
UpdateExprTyping.bpl
WhereTyping.bpl
runtest.bat