/testsuite/bsc.interra/messages/EContextReduction/
../
EContextReduction.bs
EContextReduction.bs.bsc-out.expected
EContextReduction.exp
EContextReduction1.bs
EContextReduction1.bs.bsc-out.expected
EContextReduction2.bs
EContextReduction2.bs.bsc-out.expected
Makefile