/testsuite/bsc.interra/messages/EContextReductionVar/
../
EContextReductionVar.bs
EContextReductionVar.bs.bsc-out.expected
EContextReductionVar.exp
EContextReductionVar1.bs
EContextReductionVar1.bs.bsc-out.expected
EContextReductionVar2.bs
EContextReductionVar2.bs.bsc-out.expected
Makefile