/test-suite/bugs/closed/

• ../
• 1519.v
• 1780.v
• 1787.v
• shouldfail
• shouldsucceed