/Test/aitest9/

• ../
• Output
• TestIntervals.bpl
• VarMapFixpoint.bpl
• answer
• runtest.bat