/Test/optimization/

• ../
• Optimization0.bpl
• Optimization0.bpl.expect
• Optimization1.bpl
• Optimization1.bpl.expect
• Optimization2.bpl
• Optimization2.bpl.expect
• Optimization3.bpl
• Optimization3.bpl.expect
• lit.local.cfg