/testsuite/bsc.interra/bugs/bugID142/

• ../
• GCD.bs
• GCD.bs.bsc-vcomp-out.expected
• Makefile
• bugID142.exp