/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
runtest.py