Build Log

--------------------Configuration: abc - Win32 Release--------------------

Command Lines

Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSPC8D.tmp" with contents [ /nologo /ML /W3 /GX /O2 /I "src\base\abc" /I "src\base\abci" /I "src\base\abcs" /I "src\base\cmd" /I "src\base\io" /I "src\base\main" /I "src\bdd\cudd" /I "src\bdd\epd" /I "src\bdd\mtr" /I "src\bdd\parse" /I "src\bdd\dsd" /I "src\bdd\reo" /I "src\sop\ft" /I "src\sat\asat" /I "src\sat\msat" /I "src\sat\fraig" /I "src\opt\cut" /I "src\opt\dec" /I "src\opt\fxu" /I "src\opt\rwr" /I "src\map\fpga" /I "src\map\pga" /I "src\map\mapper" /I "src\map\mapp" /I "src\map\mio" /I "src\map\super" /I "src\misc\extra" /I "src\misc\st" /I "src\misc\mvc" /I "src\misc\util" /I "src\misc\npn" /I "src\misc\vec" /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /D "HAVE_ASSERT_H" /FR"Release/" /Fp"Release/abc.pch" /YX /Fo"Release/" /Fd"Release/" /FD /c "C:\_projects\abc\src\opt\cut\cutCut.c" ] Creating command line "cl.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSPC8D.tmp" Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSPC8E.tmp" with contents [ kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /incremental:no /pdb:"Release/abc.pdb" /machine:I386 /out:"_TEST/abc.exe" .\Release\abcAig.obj .\Release\abcCheck.obj .\Release\abcDfs.obj .\Release\abcFanio.obj .\Release\abcFunc.obj .\Release\abcLatch.obj .\Release\abcMinBase.obj .\Release\abcNames.obj .\Release\abcNetlist.obj .\Release\abcNtk.obj .\Release\abcObj.obj .\Release\abcRefs.obj .\Release\abcShow.obj .\Release\abcSop.obj .\Release\abcUtil.obj .\Release\abc.obj .\Release\abcAttach.obj .\Release\abcBalance.obj .\Release\abcCollapse.obj .\Release\abcCut.obj .\Release\abcDsd.obj .\Release\abcFpga.obj .\Release\abcFraig.obj .\Release\abcFxu.obj .\Release\abcMap.obj .\Release\abcMiter.obj .\Release\abcNtbdd.obj .\Release\abcPga.obj .\Release\abcPrint.obj .\Release\abcReconv.obj .\Release\abcRefactor.obj .\Release\abcRenode.obj .\Release\abcRewrite.obj .\Release\abcSat.obj .\Release\abcStrash.obj .\Release\abcSweep.obj .\Release\abcSymm.obj .\Release\abcTiming.obj .\Release\abcUnreach.obj .\Release\abcVerify.obj .\Release\abcRetCore.obj .\Release\abcRetDelay.obj .\Release\abcRetImpl.obj .\Release\abcRetUtil.obj .\Release\abcSeq.obj .\Release\abcShare.obj .\Release\abcUtils.obj .\Release\cmd.obj .\Release\cmdAlias.obj .\Release\cmdApi.obj .\Release\cmdFlag.obj .\Release\cmdHist.obj .\Release\cmdUtils.obj .\Release\io.obj .\Release\ioRead.obj .\Release\ioReadBench.obj .\Release\ioReadBlif.obj .\Release\ioReadEdif.obj .\Release\ioReadEqn.obj .\Release\ioReadPla.obj .\Release\ioReadVerilog.obj .\Release\ioUtil.obj .\Release\ioWriteBench.obj .\Release\ioWriteBlif.obj .\Release\ioWriteCnf.obj .\Release\ioWriteDot.obj .\Release\ioWriteEqn.obj .\Release\ioWriteGml.obj .\Release\ioWritePla.obj .\Release\libSupport.obj .\Release\main.obj .\Release\mainFrame.obj .\Release\mainInit.obj .\Release\mainUtils.obj .\Release\cuddAddAbs.obj .\Release\cuddAddApply.obj .\Release\cuddAddFind.obj .\Release\cuddAddInv.obj .\Release\cuddAddIte.obj .\Release\cuddAddNeg.obj .\Release\cuddAddWalsh.obj .\Release\cuddAndAbs.obj .\Release\cuddAnneal.obj .\Release\cuddApa.obj .\Release\cuddAPI.obj .\Release\cuddApprox.obj .\Release\cuddBddAbs.obj .\Release\cuddBddCorr.obj .\Release\cuddBddIte.obj .\Release\cuddBridge.obj .\Release\cuddCache.obj .\Release\cuddCheck.obj .\Release\cuddClip.obj .\Release\cuddCof.obj .\Release\cuddCompose.obj .\Release\cuddDecomp.obj .\Release\cuddEssent.obj .\Release\cuddExact.obj .\Release\cuddExport.obj .\Release\cuddGenCof.obj .\Release\cuddGenetic.obj .\Release\cuddGroup.obj .\Release\cuddHarwell.obj .\Release\cuddInit.obj .\Release\cuddInteract.obj .\Release\cuddLCache.obj .\Release\cuddLevelQ.obj .\Release\cuddLinear.obj .\Release\cuddLiteral.obj .\Release\cuddMatMult.obj .\Release\cuddPriority.obj .\Release\cuddRead.obj .\Release\cuddRef.obj .\Release\cuddReorder.obj .\Release\cuddSat.obj .\Release\cuddSign.obj .\Release\cuddSolve.obj .\Release\cuddSplit.obj .\Release\cuddSubsetHB.obj .\Release\cuddSubsetSP.obj .\Release\cuddSymmetry.obj .\Release\cuddTable.obj .\Release\cuddUtil.obj .\Release\cuddWindow.obj .\Release\cuddZddCount.obj .\Release\cuddZddFuncs.obj .\Release\cuddZddGroup.obj .\Release\cuddZddIsop.obj .\Release\cuddZddLin.obj .\Release\cuddZddMisc.obj .\Release\cuddZddPort.obj .\Release\cuddZddReord.obj .\Release\cuddZddSetop.obj .\Release\cuddZddSymm.obj .\Release\cuddZddUtil.obj .\Release\epd.obj .\Release\mtrBasic.obj .\Release\mtrGroup.obj .\Release\parseCore.obj .\Release\parseStack.obj .\Release\dsdApi.obj .\Release\dsdCheck.obj .\Release\dsdLocal.obj .\Release\dsdMan.obj .\Release\dsdProc.obj .\Release\dsdTree.obj .\Release\reoApi.obj .\Release\reoCore.obj .\Release\reoProfile.obj .\Release\reoSift.obj .\Release\reoSwap.obj .\Release\reoTest.obj .\Release\reoTransfer.obj .\Release\reoUnits.obj .\Release\added.obj .\Release\solver.obj .\Release\msatActivity.obj .\Release\msatClause.obj .\Release\msatClauseVec.obj .\Release\msatMem.obj .\Release\msatOrderJ.obj .\Release\msatQueue.obj .\Release\msatRead.obj .\Release\msatSolverApi.obj .\Release\msatSolverCore.obj .\Release\msatSolverIo.obj .\Release\msatSolverSearch.obj .\Release\msatSort.obj .\Release\msatVec.obj .\Release\fraigApi.obj .\Release\fraigCanon.obj .\Release\fraigFanout.obj .\Release\fraigFeed.obj .\Release\fraigMan.obj .\Release\fraigMem.obj .\Release\fraigNode.obj .\Release\fraigPrime.obj .\Release\fraigSat.obj .\Release\fraigTable.obj .\Release\fraigUtil.obj .\Release\fraigVec.obj .\Release\csat_apis.obj .\Release\fxu.obj .\Release\fxuCreate.obj .\Release\fxuHeapD.obj .\Release\fxuHeapS.obj .\Release\fxuList.obj .\Release\fxuMatrix.obj .\Release\fxuPair.obj .\Release\fxuPrint.obj .\Release\fxuReduce.obj .\Release\fxuSelect.obj .\Release\fxuSingle.obj .\Release\fxuUpdate.obj .\Release\rwrDec.obj .\Release\rwrEva.obj .\Release\rwrExp.obj .\Release\rwrLib.obj .\Release\rwrMan.obj .\Release\rwrPrint.obj .\Release\rwrUtil.obj .\Release\cutApi.obj .\Release\cutCut.obj .\Release\cutMan.obj .\Release\cutMerge.obj .\Release\cutNode.obj .\Release\cutSeq.obj .\Release\cutTruth.obj .\Release\decAbc.obj .\Release\decFactor.obj .\Release\decMan.obj .\Release\decPrint.obj .\Release\decUtil.obj .\Release\simMan.obj .\Release\simSat.obj .\Release\simSupp.obj .\Release\simSwitch.obj .\Release\simSym.obj .\Release\simSymSat.obj .\Release\simSymSim.obj .\Release\simSymStr.obj .\Release\simUtils.obj .\Release\fpga.obj .\Release\fpgaCore.obj .\Release\fpgaCreate.obj .\Release\fpgaCut.obj .\Release\fpgaCutUtils.obj .\Release\fpgaFanout.obj .\Release\fpgaLib.obj .\Release\fpgaMatch.obj .\Release\fpgaSwitch.obj .\Release\fpgaTime.obj .\Release\fpgaTruth.obj .\Release\fpgaUtils.obj .\Release\fpgaVec.obj .\Release\mapper.obj .\Release\mapperCanon.obj .\Release\mapperCore.obj .\Release\mapperCreate.obj .\Release\mapperCut.obj .\Release\mapperCutUtils.obj .\Release\mapperFanout.obj .\Release\mapperLib.obj .\Release\mapperMatch.obj .\Release\mapperRefs.obj .\Release\mapperSuper.obj .\Release\mapperSwitch.obj .\Release\mapperTable.obj .\Release\mapperTime.obj .\Release\mapperTree.obj .\Release\mapperTruth.obj .\Release\mapperUtils.obj .\Release\mapperVec.obj .\Release\mio.obj .\Release\mioApi.obj .\Release\mioFunc.obj .\Release\mioRead.obj .\Release\mioUtils.obj .\Release\super.obj .\Release\superAnd.obj .\Release\superGate.obj .\Release\superWrite.obj .\Release\pgaCore.obj .\Release\pgaMan.obj .\Release\pgaMatch.obj .\Release\pgaUtil.obj .\Release\extraBddMisc.obj .\Release\extraBddSymm.obj .\Release\extraUtilBitMatrix.obj .\Release\extraUtilCanon.obj .\Release\extraUtilFile.obj .\Release\extraUtilMemory.obj .\Release\extraUtilMisc.obj .\Release\extraUtilProgress.obj .\Release\extraUtilReader.obj .\Release\st.obj .\Release\stmm.obj .\Release\cpu_stats.obj .\Release\cpu_time.obj .\Release\datalimit.obj .\Release\getopt.obj .\Release\pathsearch.obj .\Release\safe_mem.obj .\Release\strsav.obj .\Release\texpand.obj .\Release\mvc.obj .\Release\mvcApi.obj .\Release\mvcCompare.obj .\Release\mvcContain.obj .\Release\mvcCover.obj .\Release\mvcCube.obj .\Release\mvcDivide.obj .\Release\mvcDivisor.obj .\Release\mvcList.obj .\Release\mvcLits.obj .\Release\mvcMan.obj .\Release\mvcOpAlg.obj .\Release\mvcOpBool.obj .\Release\mvcPrint.obj .\Release\mvcSort.obj .\Release\mvcUtils.obj .\Release\npn.obj .\Release\npnGenStr.obj .\Release\npnTruth.obj .\Release\npnUtil.obj .\Release\abcFpgaSeq.obj .\Release\abcFpgaDelay.obj .\Release\cutOracle.obj ] Creating command line "link.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSPC8E.tmp"

Output Window

Compiling... cutCut.c Linking... Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSPC90.tmp" with contents [ /nologo /o"Release/abc.bsc" .\Release\abcAig.sbr .\Release\abcCheck.sbr .\Release\abcDfs.sbr .\Release\abcFanio.sbr .\Release\abcFunc.sbr .\Release\abcLatch.sbr .\Release\abcMinBase.sbr .\Release\abcNames.sbr .\Release\abcNetlist.sbr .\Release\abcNtk.sbr .\Release\abcObj.sbr .\Release\abcRefs.sbr .\Release\abcShow.sbr .\Release\abcSop.sbr .\Release\abcUtil.sbr .\Release\abc.sbr .\Release\abcAttach.sbr .\Release\abcBalance.sbr .\Release\abcCollapse.sbr .\Release\abcCut.sbr .\Release\abcDsd.sbr .\Release\abcFpga.sbr .\Release\abcFraig.sbr .\Release\abcFxu.sbr .\Release\abcMap.sbr .\Release\abcMiter.sbr .\Release\abcNtbdd.sbr .\Release\abcPga.sbr .\Release\abcPrint.sbr .\Release\abcReconv.sbr .\Release\abcRefactor.sbr .\Release\abcRenode.sbr .\Release\abcRewrite.sbr .\Release\abcSat.sbr .\Release\abcStrash.sbr .\Release\abcSweep.sbr .\Release\abcSymm.sbr .\Release\abcTiming.sbr .\Release\abcUnreach.sbr .\Release\abcVerify.sbr .\Release\abcRetCore.sbr .\Release\abcRetDelay.sbr .\Release\abcRetImpl.sbr .\Release\abcRetUtil.sbr .\Release\abcSeq.sbr .\Release\abcShare.sbr .\Release\abcUtils.sbr .\Release\cmd.sbr .\Release\cmdAlias.sbr .\Release\cmdApi.sbr .\Release\cmdFlag.sbr .\Release\cmdHist.sbr .\Release\cmdUtils.sbr .\Release\io.sbr .\Release\ioRead.sbr .\Release\ioReadBench.sbr .\Release\ioReadBlif.sbr .\Release\ioReadEdif.sbr .\Release\ioReadEqn.sbr .\Release\ioReadPla.sbr .\Release\ioReadVerilog.sbr .\Release\ioUtil.sbr .\Release\ioWriteBench.sbr .\Release\ioWriteBlif.sbr .\Release\ioWriteCnf.sbr .\Release\ioWriteDot.sbr .\Release\ioWriteEqn.sbr .\Release\ioWriteGml.sbr .\Release\ioWritePla.sbr .\Release\libSupport.sbr .\Release\main.sbr .\Release\mainFrame.sbr .\Release\mainInit.sbr .\Release\mainUtils.sbr .\Release\cuddAddAbs.sbr .\Release\cuddAddApply.sbr .\Release\cuddAddFind.sbr .\Release\cuddAddInv.sbr .\Release\cuddAddIte.sbr .\Release\cuddAddNeg.sbr .\Release\cuddAddWalsh.sbr .\Release\cuddAndAbs.sbr .\Release\cuddAnneal.sbr .\Release\cuddApa.sbr .\Release\cuddAPI.sbr .\Release\cuddApprox.sbr .\Release\cuddBddAbs.sbr .\Release\cuddBddCorr.sbr .\Release\cuddBddIte.sbr .\Release\cuddBridge.sbr .\Release\cuddCache.sbr .\Release\cuddCheck.sbr .\Release\cuddClip.sbr .\Release\cuddCof.sbr .\Release\cuddCompose.sbr .\Release\cuddDecomp.sbr .\Release\cuddEssent.sbr .\Release\cuddExact.sbr .\Release\cuddExport.sbr .\Release\cuddGenCof.sbr .\Release\cuddGenetic.sbr .\Release\cuddGroup.sbr .\Release\cuddHarwell.sbr .\Release\cuddInit.sbr .\Release\cuddInteract.sbr .\Release\cuddLCache.sbr .\Release\cuddLevelQ.sbr .\Release\cuddLinear.sbr .\Release\cuddLiteral.sbr .\Release\cuddMatMult.sbr .\Release\cuddPriority.sbr .\Release\cuddRead.sbr .\Release\cuddRef.sbr .\Release\cuddReorder.sbr .\Release\cuddSat.sbr .\Release\cuddSign.sbr .\Release\cuddSolve.sbr .\Release\cuddSplit.sbr .\Release\cuddSubsetHB.sbr .\Release\cuddSubsetSP.sbr .\Release\cuddSymmetry.sbr .\Release\cuddTable.sbr .\Release\cuddUtil.sbr .\Release\cuddWindow.sbr .\Release\cuddZddCount.sbr .\Release\cuddZddFuncs.sbr .\Release\cuddZddGroup.sbr .\Release\cuddZddIsop.sbr .\Release\cuddZddLin.sbr .\Release\cuddZddMisc.sbr .\Release\cuddZddPort.sbr .\Release\cuddZddReord.sbr .\Release\cuddZddSetop.sbr .\Release\cuddZddSymm.sbr .\Release\cuddZddUtil.sbr .\Release\epd.sbr .\Release\mtrBasic.sbr .\Release\mtrGroup.sbr .\Release\parseCore.sbr .\Release\parseStack.sbr .\Release\dsdApi.sbr .\Release\dsdCheck.sbr .\Release\dsdLocal.sbr .\Release\dsdMan.sbr .\Release\dsdProc.sbr .\Release\dsdTree.sbr .\Release\reoApi.sbr .\Release\reoCore.sbr .\Release\reoProfile.sbr .\Release\reoSift.sbr .\Release\reoSwap.sbr .\Release\reoTest.sbr .\Release\reoTransfer.sbr .\Release\reoUnits.sbr .\Release\added.sbr .\Release\solver.sbr .\Release\msatActivity.sbr .\Release\msatClause.sbr .\Release\msatClauseVec.sbr .\Release\msatMem.sbr .\Release\msatOrderJ.sbr .\Release\msatQueue.sbr .\Release\msatRead.sbr .\Release\msatSolverApi.sbr .\Release\msatSolverCore.sbr .\Release\msatSolverIo.sbr .\Release\msatSolverSearch.sbr .\Release\msatSort.sbr .\Release\msatVec.sbr .\Release\fraigApi.sbr .\Release\fraigCanon.sbr .\Release\fraigFanout.sbr .\Release\fraigFeed.sbr .\Release\fraigMan.sbr .\Release\fraigMem.sbr .\Release\fraigNode.sbr .\Release\fraigPrime.sbr .\Release\fraigSat.sbr .\Release\fraigTable.sbr .\Release\fraigUtil.sbr .\Release\fraigVec.sbr .\Release\csat_apis.sbr .\Release\fxu.sbr .\Release\fxuCreate.sbr .\Release\fxuHeapD.sbr .\Release\fxuHeapS.sbr .\Release\fxuList.sbr .\Release\fxuMatrix.sbr .\Release\fxuPair.sbr .\Release\fxuPrint.sbr .\Release\fxuReduce.sbr .\Release\fxuSelect.sbr .\Release\fxuSingle.sbr .\Release\fxuUpdate.sbr .\Release\rwrDec.sbr .\Release\rwrEva.sbr .\Release\rwrExp.sbr .\Release\rwrLib.sbr .\Release\rwrMan.sbr .\Release\rwrPrint.sbr .\Release\rwrUtil.sbr .\Release\cutApi.sbr .\Release\cutCut.sbr .\Release\cutMan.sbr .\Release\cutMerge.sbr .\Release\cutNode.sbr .\Release\cutSeq.sbr .\Release\cutTruth.sbr .\Release\decAbc.sbr .\Release\decFactor.sbr .\Release\decMan.sbr .\Release\decPrint.sbr .\Release\decUtil.sbr .\Release\simMan.sbr .\Release\simSat.sbr .\Release\simSupp.sbr .\Release\simSwitch.sbr .\Release\simSym.sbr .\Release\simSymSat.sbr .\Release\simSymSim.sbr .\Release\simSymStr.sbr .\Release\simUtils.sbr .\Release\fpga.sbr .\Release\fpgaCore.sbr .\Release\fpgaCreate.sbr .\Release\fpgaCut.sbr .\Release\fpgaCutUtils.sbr .\Release\fpgaFanout.sbr .\Release\fpgaLib.sbr .\Release\fpgaMatch.sbr .\Release\fpgaSwitch.sbr .\Release\fpgaTime.sbr .\Release\fpgaTruth.sbr .\Release\fpgaUtils.sbr .\Release\fpgaVec.sbr .\Release\mapper.sbr .\Release\mapperCanon.sbr .\Release\mapperCore.sbr .\Release\mapperCreate.sbr .\Release\mapperCut.sbr .\Release\mapperCutUtils.sbr .\Release\mapperFanout.sbr .\Release\mapperLib.sbr .\Release\mapperMatch.sbr .\Release\mapperRefs.sbr .\Release\mapperSuper.sbr .\Release\mapperSwitch.sbr .\Release\mapperTable.sbr .\Release\mapperTime.sbr .\Release\mapperTree.sbr .\Release\mapperTruth.sbr .\Release\mapperUtils.sbr .\Release\mapperVec.sbr .\Release\mio.sbr .\Release\mioApi.sbr .\Release\mioFunc.sbr .\Release\mioRead.sbr .\Release\mioUtils.sbr .\Release\super.sbr .\Release\superAnd.sbr .\Release\superGate.sbr .\Release\superWrite.sbr .\Release\pgaCore.sbr .\Release\pgaMan.sbr .\Release\pgaMatch.sbr .\Release\pgaUtil.sbr .\Release\extraBddMisc.sbr .\Release\extraBddSymm.sbr .\Release\extraUtilBitMatrix.sbr .\Release\extraUtilCanon.sbr .\Release\extraUtilFile.sbr .\Release\extraUtilMemory.sbr .\Release\extraUtilMisc.sbr .\Release\extraUtilProgress.sbr .\Release\extraUtilReader.sbr .\Release\st.sbr .\Release\stmm.sbr .\Release\cpu_stats.sbr .\Release\cpu_time.sbr .\Release\datalimit.sbr .\Release\getopt.sbr .\Release\pathsearch.sbr .\Release\safe_mem.sbr .\Release\strsav.sbr .\Release\texpand.sbr .\Release\mvc.sbr .\Release\mvcApi.sbr .\Release\mvcCompare.sbr .\Release\mvcContain.sbr .\Release\mvcCover.sbr .\Release\mvcCube.sbr .\Release\mvcDivide.sbr .\Release\mvcDivisor.sbr .\Release\mvcList.sbr .\Release\mvcLits.sbr .\Release\mvcMan.sbr .\Release\mvcOpAlg.sbr .\Release\mvcOpBool.sbr .\Release\mvcPrint.sbr .\Release\mvcSort.sbr .\Release\mvcUtils.sbr .\Release\npn.sbr .\Release\npnGenStr.sbr .\Release\npnTruth.sbr .\Release\npnUtil.sbr .\Release\abcFpgaSeq.sbr .\Release\abcFpgaDelay.sbr .\Release\cutOracle.sbr] Creating command line "bscmake.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSPC90.tmp" Creating browse info file...

Output Window

Results

abc.exe - 0 error(s), 0 warning(s)