copy %1\AbsInt.dll .
copy %1\AbsInt.pdb .
copy %1\AliasAnalysis.exe .
copy %1\AliasAnalysis.pdb .
copy %1\AngelicVerifierNull.exe .
copy %1\AngelicVerifierNull.pdb .
copy %1\Basetypes.dll .
copy %1\Basetypes.pdb .
copy %1\CodeContractsExtender.dll .
copy %1\CodeContractsExtender.pdb .
copy %1\Core.dll .
copy %1\Core.pdb .
copy %1\CoreLib.dll .
copy %1\CoreLib.pdb .
copy %1\Concurrency.dll .
copy %1\Concurrency.pdb .
copy %1\ExplainError.dll .
copy %1\ExplainError.pdb .
copy %1\Graph.dll .
copy %1\Graph.pdb .
copy %1\Houdini.dll .
copy %1\Houdini.pdb .
copy %1\Model.dll .
copy %1\Model.pdb .
copy %1\ParserHelper.dll .
copy %1\ParserHelper.pdb .
copy %1\ProgTransformation.dll .
copy %1\ProgTransformation.pdb .
copy %1\Provers.SMTLib.dll .
copy %1\Provers.SMTLib.pdb .
copy %1\TraceDebugger.dll .
copy %1\TraceDebugger.pdb .
copy %1\CorralUtil.dll .
copy %1\CorralUtil.pdb .
copy %1\VCExpr.dll .
copy %1\VCExpr.pdb .
copy %1\VCGeneration.dll .
copy %1\VCGeneration.pdb .
copy %1\corral.exe .
copy %1\corral.pdb .
corflags.exe /32BIT+ corral.exe

