/test-suite/

• ../
• bench
• bugs
• check
• complexity
• csdp.cache
• failure
• ide
• ideal-features
• interactive
• kernel
• micromega
• modules
• output
• parser
• success
• typeclasses