Build Log

--------------------Configuration: abc - Win32 Debug--------------------

Command Lines

Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP37EA.tmp" with contents [ /nologo /MLd /W3 /Gm /GX /ZI /Od /I "src\base\abc" /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\mvc" /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\mapper" /I "src\map\mio" /I "src\map\super" /I "src\misc\extra" /I "src\misc\st" /I "src\misc\util" /I "src\misc\vec" /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /D "HAVE_ASSERT_H" /FR"Debug/" /Fp"Debug/abc.pch" /YX /Fo"Debug/" /Fd"Debug/" /FD /GZ /c "C:\_projects\abc\src\base\abc\abc.c" "C:\_projects\abc\src\base\abc\abcAig.c" "C:\_projects\abc\src\base\abc\abcAttach.c" "C:\_projects\abc\src\base\abc\abcBalance.c" "C:\_projects\abc\src\base\abc\abcCheck.c" "C:\_projects\abc\src\base\abc\abcCollapse.c" "C:\_projects\abc\src\base\abc\abcCreate.c" "C:\_projects\abc\src\base\abc\abcCut.c" "C:\_projects\abc\src\base\abc\abcDfs.c" "C:\_projects\abc\src\base\abc\abcDsd.c" "C:\_projects\abc\src\base\abc\abcFanio.c" "C:\_projects\abc\src\base\abc\abcFpga.c" "C:\_projects\abc\src\base\abc\abcFraig.c" "C:\_projects\abc\src\base\abc\abcFunc.c" "C:\_projects\abc\src\base\abc\abcFxu.c" "C:\_projects\abc\src\base\abc\abcLatch.c" "C:\_projects\abc\src\base\abc\abcMap.c" "C:\_projects\abc\src\base\abc\abcMinBase.c" "C:\_projects\abc\src\base\abc\abcMiter.c" "C:\_projects\abc\src\base\abc\abcNames.c" "C:\_projects\abc\src\base\abc\abcNetlist.c" "C:\_projects\abc\src\base\abc\abcNtbdd.c" "C:\_projects\abc\src\base\abc\abcPrint.c" "C:\_projects\abc\src\base\abc\abcReconv.c" "C:\_projects\abc\src\base\abc\abcRefactor.c" "C:\_projects\abc\src\base\abc\abcRefs.c" "C:\_projects\abc\src\base\abc\abcRenode.c" "C:\_projects\abc\src\base\abc\abcRewrite.c" "C:\_projects\abc\src\base\abc\abcSat.c" "C:\_projects\abc\src\base\abc\abcSeq.c" "C:\_projects\abc\src\base\abc\abcSeqRetime.c" "C:\_projects\abc\src\base\abc\abcShow.c" "C:\_projects\abc\src\base\abc\abcSop.c" "C:\_projects\abc\src\base\abc\abcStrash.c" "C:\_projects\abc\src\base\abc\abcSweep.c" "C:\_projects\abc\src\base\abc\abcSymm.c" "C:\_projects\abc\src\base\abc\abcTiming.c" "C:\_projects\abc\src\base\abc\abcUnreach.c" "C:\_projects\abc\src\base\abc\abcUtil.c" "C:\_projects\abc\src\base\abc\abcVerify.c" "C:\_projects\abc\src\base\cmd\cmd.c" "C:\_projects\abc\src\base\cmd\cmdAlias.c" "C:\_projects\abc\src\base\cmd\cmdApi.c" "C:\_projects\abc\src\base\cmd\cmdFlag.c" "C:\_projects\abc\src\base\cmd\cmdHist.c" "C:\_projects\abc\src\base\cmd\cmdUtils.c" "C:\_projects\abc\src\base\io\io.c" "C:\_projects\abc\src\base\io\ioRead.c" "C:\_projects\abc\src\base\io\ioReadBench.c" "C:\_projects\abc\src\base\io\ioReadBlif.c" "C:\_projects\abc\src\base\io\ioReadEdif.c" "C:\_projects\abc\src\base\io\ioReadEqn.c" "C:\_projects\abc\src\base\io\ioReadPla.c" "C:\_projects\abc\src\base\io\ioReadVerilog.c" "C:\_projects\abc\src\base\io\ioUtil.c" "C:\_projects\abc\src\base\io\ioWriteBench.c" "C:\_projects\abc\src\base\io\ioWriteBlif.c" "C:\_projects\abc\src\base\io\ioWriteCnf.c" "C:\_projects\abc\src\base\io\ioWriteDot.c" "C:\_projects\abc\src\base\io\ioWriteEqn.c" "C:\_projects\abc\src\base\io\ioWriteGml.c" "C:\_projects\abc\src\base\io\ioWritePla.c" "C:\_projects\abc\src\base\main\main.c" "C:\_projects\abc\src\base\main\mainFrame.c" "C:\_projects\abc\src\base\main\mainInit.c" "C:\_projects\abc\src\base\main\mainUtils.c" "C:\_projects\abc\src\bdd\cudd\cuddAddAbs.c" "C:\_projects\abc\src\bdd\cudd\cuddAddApply.c" "C:\_projects\abc\src\bdd\cudd\cuddAddFind.c" "C:\_projects\abc\src\bdd\cudd\cuddAddInv.c" "C:\_projects\abc\src\bdd\cudd\cuddAddIte.c" "C:\_projects\abc\src\bdd\cudd\cuddAddNeg.c" "C:\_projects\abc\src\bdd\cudd\cuddAddWalsh.c" "C:\_projects\abc\src\bdd\cudd\cuddAndAbs.c" "C:\_projects\abc\src\bdd\cudd\cuddAnneal.c" "C:\_projects\abc\src\bdd\cudd\cuddApa.c" "C:\_projects\abc\src\bdd\cudd\cuddAPI.c" "C:\_projects\abc\src\bdd\cudd\cuddApprox.c" "C:\_projects\abc\src\bdd\cudd\cuddBddAbs.c" "C:\_projects\abc\src\bdd\cudd\cuddBddCorr.c" "C:\_projects\abc\src\bdd\cudd\cuddBddIte.c" "C:\_projects\abc\src\bdd\cudd\cuddBridge.c" "C:\_projects\abc\src\bdd\cudd\cuddCache.c" "C:\_projects\abc\src\bdd\cudd\cuddCheck.c" "C:\_projects\abc\src\bdd\cudd\cuddClip.c" "C:\_projects\abc\src\bdd\cudd\cuddCof.c" "C:\_projects\abc\src\bdd\cudd\cuddCompose.c" "C:\_projects\abc\src\bdd\cudd\cuddDecomp.c" "C:\_projects\abc\src\bdd\cudd\cuddEssent.c" "C:\_projects\abc\src\bdd\cudd\cuddExact.c" "C:\_projects\abc\src\bdd\cudd\cuddExport.c" "C:\_projects\abc\src\bdd\cudd\cuddGenCof.c" "C:\_projects\abc\src\bdd\cudd\cuddGenetic.c" "C:\_projects\abc\src\bdd\cudd\cuddGroup.c" "C:\_projects\abc\src\bdd\cudd\cuddHarwell.c" "C:\_projects\abc\src\bdd\cudd\cuddInit.c" "C:\_projects\abc\src\bdd\cudd\cuddInteract.c" "C:\_projects\abc\src\bdd\cudd\cuddLCache.c" "C:\_projects\abc\src\bdd\cudd\cuddLevelQ.c" "C:\_projects\abc\src\bdd\cudd\cuddLinear.c" "C:\_projects\abc\src\bdd\cudd\cuddLiteral.c" "C:\_projects\abc\src\bdd\cudd\cuddMatMult.c" "C:\_projects\abc\src\bdd\cudd\cuddPriority.c" "C:\_projects\abc\src\bdd\cudd\cuddRead.c" "C:\_projects\abc\src\bdd\cudd\cuddRef.c" "C:\_projects\abc\src\bdd\cudd\cuddReorder.c" "C:\_projects\abc\src\bdd\cudd\cuddSat.c" "C:\_projects\abc\src\bdd\cudd\cuddSign.c" "C:\_projects\abc\src\bdd\cudd\cuddSolve.c" "C:\_projects\abc\src\bdd\cudd\cuddSplit.c" "C:\_projects\abc\src\bdd\cudd\cuddSubsetHB.c" "C:\_projects\abc\src\bdd\cudd\cuddSubsetSP.c" "C:\_projects\abc\src\bdd\cudd\cuddSymmetry.c" "C:\_projects\abc\src\bdd\cudd\cuddTable.c" "C:\_projects\abc\src\bdd\cudd\cuddUtil.c" "C:\_projects\abc\src\bdd\cudd\cuddWindow.c" "C:\_projects\abc\src\bdd\cudd\cuddZddCount.c" "C:\_projects\abc\src\bdd\cudd\cuddZddFuncs.c" "C:\_projects\abc\src\bdd\cudd\cuddZddGroup.c" "C:\_projects\abc\src\bdd\cudd\cuddZddIsop.c" "C:\_projects\abc\src\bdd\cudd\cuddZddLin.c" "C:\_projects\abc\src\bdd\cudd\cuddZddMisc.c" "C:\_projects\abc\src\bdd\cudd\cuddZddPort.c" "C:\_projects\abc\src\bdd\cudd\cuddZddReord.c" "C:\_projects\abc\src\bdd\cudd\cuddZddSetop.c" "C:\_projects\abc\src\bdd\cudd\cuddZddSymm.c" "C:\_projects\abc\src\bdd\cudd\cuddZddUtil.c" "C:\_projects\abc\src\bdd\epd\epd.c" "C:\_projects\abc\src\bdd\mtr\mtrBasic.c" "C:\_projects\abc\src\bdd\mtr\mtrGroup.c" "C:\_projects\abc\src\bdd\parse\parseCore.c" "C:\_projects\abc\src\bdd\parse\parseStack.c" "C:\_projects\abc\src\bdd\dsd\dsdApi.c" "C:\_projects\abc\src\bdd\dsd\dsdCheck.c" "C:\_projects\abc\src\bdd\dsd\dsdLocal.c" "C:\_projects\abc\src\bdd\dsd\dsdMan.c" "C:\_projects\abc\src\bdd\dsd\dsdProc.c" "C:\_projects\abc\src\bdd\dsd\dsdTree.c" "C:\_projects\abc\src\bdd\reo\reoApi.c" "C:\_projects\abc\src\bdd\reo\reoCore.c" "C:\_projects\abc\src\bdd\reo\reoProfile.c" "C:\_projects\abc\src\bdd\reo\reoSift.c" "C:\_projects\abc\src\bdd\reo\reoSwap.c" "C:\_projects\abc\src\bdd\reo\reoTest.c" "C:\_projects\abc\src\bdd\reo\reoTransfer.c" "C:\_projects\abc\src\bdd\reo\reoUnits.c" "C:\_projects\abc\src\sop\mvc\mvc.c" "C:\_projects\abc\src\sop\mvc\mvcApi.c" "C:\_projects\abc\src\sop\mvc\mvcCompare.c" "C:\_projects\abc\src\sop\mvc\mvcContain.c" "C:\_projects\abc\src\sop\mvc\mvcCover.c" "C:\_projects\abc\src\sop\mvc\mvcCube.c" "C:\_projects\abc\src\sop\mvc\mvcDivide.c" "C:\_projects\abc\src\sop\mvc\mvcDivisor.c" "C:\_projects\abc\src\sop\mvc\mvcList.c" "C:\_projects\abc\src\sop\mvc\mvcLits.c" "C:\_projects\abc\src\sop\mvc\mvcMan.c" "C:\_projects\abc\src\sop\mvc\mvcOpAlg.c" "C:\_projects\abc\src\sop\mvc\mvcOpBool.c" "C:\_projects\abc\src\sop\mvc\mvcPrint.c" "C:\_projects\abc\src\sop\mvc\mvcSort.c" "C:\_projects\abc\src\sop\mvc\mvcUtils.c" "C:\_projects\abc\src\sop\ft\ftFactor.c" "C:\_projects\abc\src\sop\ft\ftPrint.c" "C:\_projects\abc\src\sat\asat\added.c" "C:\_projects\abc\src\sat\asat\solver.c" "C:\_projects\abc\src\sat\msat\msatActivity.c" "C:\_projects\abc\src\sat\msat\msatClause.c" "C:\_projects\abc\src\sat\msat\msatClauseVec.c" "C:\_projects\abc\src\sat\msat\msatMem.c" "C:\_projects\abc\src\sat\msat\msatOrderJ.c" "C:\_projects\abc\src\sat\msat\msatQueue.c" "C:\_projects\abc\src\sat\msat\msatRead.c" "C:\_projects\abc\src\sat\msat\msatSolverApi.c" "C:\_projects\abc\src\sat\msat\msatSolverCore.c" "C:\_projects\abc\src\sat\msat\msatSolverIo.c" "C:\_projects\abc\src\sat\msat\msatSolverSearch.c" "C:\_projects\abc\src\sat\msat\msatSort.c" "C:\_projects\abc\src\sat\msat\msatVec.c" "C:\_projects\abc\src\sat\fraig\fraigApi.c" "C:\_projects\abc\src\sat\fraig\fraigCanon.c" "C:\_projects\abc\src\sat\fraig\fraigFanout.c" "C:\_projects\abc\src\sat\fraig\fraigFeed.c" "C:\_projects\abc\src\sat\fraig\fraigMan.c" "C:\_projects\abc\src\sat\fraig\fraigMem.c" "C:\_projects\abc\src\sat\fraig\fraigNode.c" "C:\_projects\abc\src\sat\fraig\fraigPrime.c" "C:\_projects\abc\src\sat\fraig\fraigSat.c" "C:\_projects\abc\src\sat\fraig\fraigTable.c" "C:\_projects\abc\src\sat\fraig\fraigUtil.c" "C:\_projects\abc\src\sat\fraig\fraigVec.c" "C:\_projects\abc\src\sat\sim\simMan.c" "C:\_projects\abc\src\sat\sim\simSat.c" "C:\_projects\abc\src\sat\sim\simSupp.c" "C:\_projects\abc\src\sat\sim\simSym.c" "C:\_projects\abc\src\sat\sim\simUnate.c" "C:\_projects\abc\src\sat\sim\simUtils.c" "C:\_projects\abc\src\sat\csat\csat_apis.c" "C:\_projects\abc\src\opt\fxu\fxu.c" "C:\_projects\abc\src\opt\fxu\fxuCreate.c" "C:\_projects\abc\src\opt\fxu\fxuHeapD.c" "C:\_projects\abc\src\opt\fxu\fxuHeapS.c" "C:\_projects\abc\src\opt\fxu\fxuList.c" "C:\_projects\abc\src\opt\fxu\fxuMatrix.c" "C:\_projects\abc\src\opt\fxu\fxuPair.c" "C:\_projects\abc\src\opt\fxu\fxuPrint.c" "C:\_projects\abc\src\opt\fxu\fxuReduce.c" "C:\_projects\abc\src\opt\fxu\fxuSelect.c" "C:\_projects\abc\src\opt\fxu\fxuSingle.c" "C:\_projects\abc\src\opt\fxu\fxuUpdate.c" "C:\_projects\abc\src\opt\rwr\rwrDec.c" "C:\_projects\abc\src\opt\rwr\rwrEva.c" "C:\_projects\abc\src\opt\rwr\rwrExp.c" "C:\_projects\abc\src\opt\rwr\rwrLib.c" "C:\_projects\abc\src\opt\rwr\rwrMan.c" "C:\_projects\abc\src\opt\rwr\rwrPrint.c" "C:\_projects\abc\src\opt\rwr\rwrUtil.c" "C:\_projects\abc\src\opt\cut\cutMan.c" "C:\_projects\abc\src\opt\cut\cutMerge.c" "C:\_projects\abc\src\opt\cut\cutNode.c" "C:\_projects\abc\src\opt\cut\cutSeq.c" "C:\_projects\abc\src\opt\cut\cutTable.c" "C:\_projects\abc\src\opt\cut\cutTruth.c" "C:\_projects\abc\src\map\fpga\fpga.c" "C:\_projects\abc\src\map\fpga\fpgaCore.c" "C:\_projects\abc\src\map\fpga\fpgaCreate.c" "C:\_projects\abc\src\map\fpga\fpgaCut.c" "C:\_projects\abc\src\map\fpga\fpgaCutUtils.c" "C:\_projects\abc\src\map\fpga\fpgaFanout.c" "C:\_projects\abc\src\map\fpga\fpgaLib.c" "C:\_projects\abc\src\map\fpga\fpgaMatch.c" "C:\_projects\abc\src\map\fpga\fpgaTime.c" "C:\_projects\abc\src\map\fpga\fpgaTruth.c" "C:\_projects\abc\src\map\fpga\fpgaUtils.c" "C:\_projects\abc\src\map\fpga\fpgaVec.c" "C:\_projects\abc\src\map\mapper\mapper.c" "C:\_projects\abc\src\map\mapper\mapperCanon.c" "C:\_projects\abc\src\map\mapper\mapperCore.c" "C:\_projects\abc\src\map\mapper\mapperCreate.c" "C:\_projects\abc\src\map\mapper\mapperCut.c" "C:\_projects\abc\src\map\mapper\mapperCutUtils.c" "C:\_projects\abc\src\map\mapper\mapperFanout.c" "C:\_projects\abc\src\map\mapper\mapperLib.c" "C:\_projects\abc\src\map\mapper\mapperMatch.c" "C:\_projects\abc\src\map\mapper\mapperRefs.c" "C:\_projects\abc\src\map\mapper\mapperSuper.c" "C:\_projects\abc\src\map\mapper\mapperTable.c" "C:\_projects\abc\src\map\mapper\mapperTime.c" "C:\_projects\abc\src\map\mapper\mapperTree.c" "C:\_projects\abc\src\map\mapper\mapperTruth.c" "C:\_projects\abc\src\map\mapper\mapperUtils.c" "C:\_projects\abc\src\map\mapper\mapperVec.c" "C:\_projects\abc\src\map\mio\mio.c" "C:\_projects\abc\src\map\mio\mioApi.c" "C:\_projects\abc\src\map\mio\mioFunc.c" "C:\_projects\abc\src\map\mio\mioRead.c" "C:\_projects\abc\src\map\mio\mioUtils.c" "C:\_projects\abc\src\map\super\super.c" "C:\_projects\abc\src\map\super\superAnd.c" "C:\_projects\abc\src\map\super\superGate.c" "C:\_projects\abc\src\map\super\superWrite.c" "C:\_projects\abc\src\misc\extra\extraBddMisc.c" "C:\_projects\abc\src\misc\extra\extraBddSymm.c" "C:\_projects\abc\src\misc\extra\extraUtilBitMatrix.c" "C:\_projects\abc\src\misc\extra\extraUtilCanon.c" "C:\_projects\abc\src\misc\extra\extraUtilFile.c" "C:\_projects\abc\src\misc\extra\extraUtilMemory.c" "C:\_projects\abc\src\misc\extra\extraUtilMisc.c" "C:\_projects\abc\src\misc\extra\extraUtilProgress.c" "C:\_projects\abc\src\misc\extra\extraUtilReader.c" "C:\_projects\abc\src\misc\st\st.c" "C:\_projects\abc\src\misc\st\stmm.c" "C:\_projects\abc\src\misc\util\cpu_stats.c" "C:\_projects\abc\src\misc\util\cpu_time.c" "C:\_projects\abc\src\misc\util\datalimit.c" "C:\_projects\abc\src\misc\util\getopt.c" "C:\_projects\abc\src\misc\util\pathsearch.c" "C:\_projects\abc\src\misc\util\safe_mem.c" "C:\_projects\abc\src\misc\util\strsav.c" "C:\_projects\abc\src\misc\util\texpand.c" ] Creating command line "cl.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP37EA.tmp" Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP37EB.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:yes /pdb:"Debug/abc.pdb" /debug /machine:I386 /out:"_TEST/abc.exe" /pdbtype:sept .\Debug\abc.obj .\Debug\abcAig.obj .\Debug\abcAttach.obj .\Debug\abcBalance.obj .\Debug\abcCheck.obj .\Debug\abcCollapse.obj .\Debug\abcCreate.obj .\Debug\abcCut.obj .\Debug\abcDfs.obj .\Debug\abcDsd.obj .\Debug\abcFanio.obj .\Debug\abcFpga.obj .\Debug\abcFraig.obj .\Debug\abcFunc.obj .\Debug\abcFxu.obj .\Debug\abcLatch.obj .\Debug\abcMap.obj .\Debug\abcMinBase.obj .\Debug\abcMiter.obj .\Debug\abcNames.obj .\Debug\abcNetlist.obj .\Debug\abcNtbdd.obj .\Debug\abcPrint.obj .\Debug\abcReconv.obj .\Debug\abcRefactor.obj .\Debug\abcRefs.obj .\Debug\abcRenode.obj .\Debug\abcRewrite.obj .\Debug\abcSat.obj .\Debug\abcSeq.obj .\Debug\abcSeqRetime.obj .\Debug\abcShow.obj .\Debug\abcSop.obj .\Debug\abcStrash.obj .\Debug\abcSweep.obj .\Debug\abcSymm.obj .\Debug\abcTiming.obj .\Debug\abcUnreach.obj .\Debug\abcUtil.obj .\Debug\abcVerify.obj .\Debug\cmd.obj .\Debug\cmdAlias.obj .\Debug\cmdApi.obj .\Debug\cmdFlag.obj .\Debug\cmdHist.obj .\Debug\cmdUtils.obj .\Debug\io.obj .\Debug\ioRead.obj .\Debug\ioReadBench.obj .\Debug\ioReadBlif.obj .\Debug\ioReadEdif.obj .\Debug\ioReadEqn.obj .\Debug\ioReadPla.obj .\Debug\ioReadVerilog.obj .\Debug\ioUtil.obj .\Debug\ioWriteBench.obj .\Debug\ioWriteBlif.obj .\Debug\ioWriteCnf.obj .\Debug\ioWriteDot.obj .\Debug\ioWriteEqn.obj .\Debug\ioWriteGml.obj .\Debug\ioWritePla.obj .\Debug\main.obj .\Debug\mainFrame.obj .\Debug\mainInit.obj .\Debug\mainUtils.obj .\Debug\cuddAddAbs.obj .\Debug\cuddAddApply.obj .\Debug\cuddAddFind.obj .\Debug\cuddAddInv.obj .\Debug\cuddAddIte.obj .\Debug\cuddAddNeg.obj .\Debug\cuddAddWalsh.obj .\Debug\cuddAndAbs.obj .\Debug\cuddAnneal.obj .\Debug\cuddApa.obj .\Debug\cuddAPI.obj .\Debug\cuddApprox.obj .\Debug\cuddBddAbs.obj .\Debug\cuddBddCorr.obj .\Debug\cuddBddIte.obj .\Debug\cuddBridge.obj .\Debug\cuddCache.obj .\Debug\cuddCheck.obj .\Debug\cuddClip.obj .\Debug\cuddCof.obj .\Debug\cuddCompose.obj .\Debug\cuddDecomp.obj .\Debug\cuddEssent.obj .\Debug\cuddExact.obj .\Debug\cuddExport.obj .\Debug\cuddGenCof.obj .\Debug\cuddGenetic.obj .\Debug\cuddGroup.obj .\Debug\cuddHarwell.obj .\Debug\cuddInit.obj .\Debug\cuddInteract.obj .\Debug\cuddLCache.obj .\Debug\cuddLevelQ.obj .\Debug\cuddLinear.obj .\Debug\cuddLiteral.obj .\Debug\cuddMatMult.obj .\Debug\cuddPriority.obj .\Debug\cuddRead.obj .\Debug\cuddRef.obj .\Debug\cuddReorder.obj .\Debug\cuddSat.obj .\Debug\cuddSign.obj .\Debug\cuddSolve.obj .\Debug\cuddSplit.obj .\Debug\cuddSubsetHB.obj .\Debug\cuddSubsetSP.obj .\Debug\cuddSymmetry.obj .\Debug\cuddTable.obj .\Debug\cuddUtil.obj .\Debug\cuddWindow.obj .\Debug\cuddZddCount.obj .\Debug\cuddZddFuncs.obj .\Debug\cuddZddGroup.obj .\Debug\cuddZddIsop.obj .\Debug\cuddZddLin.obj .\Debug\cuddZddMisc.obj .\Debug\cuddZddPort.obj .\Debug\cuddZddReord.obj .\Debug\cuddZddSetop.obj .\Debug\cuddZddSymm.obj .\Debug\cuddZddUtil.obj .\Debug\epd.obj .\Debug\mtrBasic.obj .\Debug\mtrGroup.obj .\Debug\parseCore.obj .\Debug\parseStack.obj .\Debug\dsdApi.obj .\Debug\dsdCheck.obj .\Debug\dsdLocal.obj .\Debug\dsdMan.obj .\Debug\dsdProc.obj .\Debug\dsdTree.obj .\Debug\reoApi.obj .\Debug\reoCore.obj .\Debug\reoProfile.obj .\Debug\reoSift.obj .\Debug\reoSwap.obj .\Debug\reoTest.obj .\Debug\reoTransfer.obj .\Debug\reoUnits.obj .\Debug\mvc.obj .\Debug\mvcApi.obj .\Debug\mvcCompare.obj .\Debug\mvcContain.obj .\Debug\mvcCover.obj .\Debug\mvcCube.obj .\Debug\mvcDivide.obj .\Debug\mvcDivisor.obj .\Debug\mvcList.obj .\Debug\mvcLits.obj .\Debug\mvcMan.obj .\Debug\mvcOpAlg.obj .\Debug\mvcOpBool.obj .\Debug\mvcPrint.obj .\Debug\mvcSort.obj .\Debug\mvcUtils.obj .\Debug\ftFactor.obj .\Debug\ftPrint.obj .\Debug\added.obj .\Debug\solver.obj .\Debug\msatActivity.obj .\Debug\msatClause.obj .\Debug\msatClauseVec.obj .\Debug\msatMem.obj .\Debug\msatOrderJ.obj .\Debug\msatQueue.obj .\Debug\msatRead.obj .\Debug\msatSolverApi.obj .\Debug\msatSolverCore.obj .\Debug\msatSolverIo.obj .\Debug\msatSolverSearch.obj .\Debug\msatSort.obj .\Debug\msatVec.obj .\Debug\fraigApi.obj .\Debug\fraigCanon.obj .\Debug\fraigFanout.obj .\Debug\fraigFeed.obj .\Debug\fraigMan.obj .\Debug\fraigMem.obj .\Debug\fraigNode.obj .\Debug\fraigPrime.obj .\Debug\fraigSat.obj .\Debug\fraigTable.obj .\Debug\fraigUtil.obj .\Debug\fraigVec.obj .\Debug\simMan.obj .\Debug\simSat.obj .\Debug\simSupp.obj .\Debug\simSym.obj .\Debug\simUnate.obj .\Debug\simUtils.obj .\Debug\csat_apis.obj .\Debug\fxu.obj .\Debug\fxuCreate.obj .\Debug\fxuHeapD.obj .\Debug\fxuHeapS.obj .\Debug\fxuList.obj .\Debug\fxuMatrix.obj .\Debug\fxuPair.obj .\Debug\fxuPrint.obj .\Debug\fxuReduce.obj .\Debug\fxuSelect.obj .\Debug\fxuSingle.obj .\Debug\fxuUpdate.obj .\Debug\rwrDec.obj .\Debug\rwrEva.obj .\Debug\rwrExp.obj .\Debug\rwrLib.obj .\Debug\rwrMan.obj .\Debug\rwrPrint.obj .\Debug\rwrUtil.obj .\Debug\cutMan.obj .\Debug\cutMerge.obj .\Debug\cutNode.obj .\Debug\cutSeq.obj .\Debug\cutTable.obj .\Debug\cutTruth.obj .\Debug\fpga.obj .\Debug\fpgaCore.obj .\Debug\fpgaCreate.obj .\Debug\fpgaCut.obj .\Debug\fpgaCutUtils.obj .\Debug\fpgaFanout.obj .\Debug\fpgaLib.obj .\Debug\fpgaMatch.obj .\Debug\fpgaTime.obj .\Debug\fpgaTruth.obj .\Debug\fpgaUtils.obj .\Debug\fpgaVec.obj .\Debug\mapper.obj .\Debug\mapperCanon.obj .\Debug\mapperCore.obj .\Debug\mapperCreate.obj .\Debug\mapperCut.obj .\Debug\mapperCutUtils.obj .\Debug\mapperFanout.obj .\Debug\mapperLib.obj .\Debug\mapperMatch.obj .\Debug\mapperRefs.obj .\Debug\mapperSuper.obj .\Debug\mapperTable.obj .\Debug\mapperTime.obj .\Debug\mapperTree.obj .\Debug\mapperTruth.obj .\Debug\mapperUtils.obj .\Debug\mapperVec.obj .\Debug\mio.obj .\Debug\mioApi.obj .\Debug\mioFunc.obj .\Debug\mioRead.obj .\Debug\mioUtils.obj .\Debug\super.obj .\Debug\superAnd.obj .\Debug\superGate.obj .\Debug\superWrite.obj .\Debug\extraBddMisc.obj .\Debug\extraBddSymm.obj .\Debug\extraUtilBitMatrix.obj .\Debug\extraUtilCanon.obj .\Debug\extraUtilFile.obj .\Debug\extraUtilMemory.obj .\Debug\extraUtilMisc.obj .\Debug\extraUtilProgress.obj .\Debug\extraUtilReader.obj .\Debug\st.obj .\Debug\stmm.obj .\Debug\cpu_stats.obj .\Debug\cpu_time.obj .\Debug\datalimit.obj .\Debug\getopt.obj .\Debug\pathsearch.obj .\Debug\safe_mem.obj .\Debug\strsav.obj .\Debug\texpand.obj ] Creating command line "link.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP37EB.tmp"

Output Window

Compiling... abc.c abcAig.c abcAttach.c abcBalance.c abcCheck.c abcCollapse.c abcCreate.c abcCut.c abcDfs.c abcDsd.c abcFanio.c abcFpga.c abcFraig.c abcFunc.c abcFxu.c abcLatch.c abcMap.c abcMinBase.c abcMiter.c abcNames.c abcNetlist.c abcNtbdd.c abcPrint.c abcReconv.c abcRefactor.c abcRefs.c abcRenode.c abcRewrite.c abcSat.c abcSeq.c abcSeqRetime.c abcShow.c abcSop.c abcStrash.c abcSweep.c abcSymm.c abcTiming.c abcUnreach.c abcUtil.c abcVerify.c cmd.c cmdAlias.c cmdApi.c cmdFlag.c cmdHist.c cmdUtils.c io.c ioRead.c ioReadBench.c ioReadBlif.c ioReadEdif.c ioReadEqn.c ioReadPla.c ioReadVerilog.c ioUtil.c ioWriteBench.c ioWriteBlif.c ioWriteCnf.c ioWriteDot.c ioWriteEqn.c ioWriteGml.c ioWritePla.c main.c mainFrame.c mainInit.c mainUtils.c cuddAddAbs.c cuddAddApply.c cuddAddFind.c cuddAddInv.c cuddAddIte.c cuddAddNeg.c cuddAddWalsh.c cuddAndAbs.c cuddAnneal.c cuddApa.c C:\_projects\abc\src\bdd\cudd\cuddApa.c(181) : warning C4244: 'return' : conversion from 'unsigned long ' to 'unsigned short ', possible loss of data C:\_projects\abc\src\bdd\cudd\cuddApa.c(213) : warning C4244: 'return' : conversion from 'unsigned long ' to 'unsigned short ', possible loss of data C:\_projects\abc\src\bdd\cudd\cuddApa.c(530) : warning C4244: '=' : conversion from 'unsigned short ' to 'unsigned char ', possible loss of data C:\_projects\abc\src\bdd\cudd\cuddApa.c(588) : warning C4244: '=' : conversion from 'unsigned short ' to 'unsigned char ', possible loss of data cuddAPI.c cuddApprox.c cuddBddAbs.c cuddBddCorr.c cuddBddIte.c cuddBridge.c cuddCache.c C:\_projects\abc\src\bdd\cudd\cuddCache.c(902) : warning C4146: unary minus operator applied to unsigned type, result still unsigned cuddCheck.c cuddClip.c cuddCof.c cuddCompose.c cuddDecomp.c cuddEssent.c cuddExact.c cuddExport.c cuddGenCof.c cuddGenetic.c cuddGroup.c C:\_projects\abc\src\bdd\cudd\cuddGroup.c(2062) : warning C4018: '<=' : signed/unsigned mismatch cuddHarwell.c cuddInit.c cuddInteract.c cuddLCache.c c:\_projects\abc\src\bdd\cudd\cuddlcache.c(1387) : warning C4146: unary minus operator applied to unsigned type, result still unsigned cuddLevelQ.c cuddLinear.c cuddLiteral.c cuddMatMult.c cuddPriority.c cuddRead.c cuddRef.c cuddReorder.c C:\_projects\abc\src\bdd\cudd\cuddReorder.c(395) : warning C4146: unary minus operator applied to unsigned type, result still unsigned cuddSat.c cuddSign.c cuddSolve.c cuddSplit.c cuddSubsetHB.c cuddSubsetSP.c cuddSymmetry.c cuddTable.c C:\_projects\abc\src\bdd\cudd\cuddTable.c(1822) : warning C4018: '<' : signed/unsigned mismatch C:\_projects\abc\src\bdd\cudd\cuddTable.c(1927) : warning C4018: '<' : signed/unsigned mismatch C:\_projects\abc\src\bdd\cudd\cuddTable.c(2235) : warning C4018: '<' : signed/unsigned mismatch C:\_projects\abc\src\bdd\cudd\cuddTable.c(2303) : warning C4018: '<' : signed/unsigned mismatch C:\_projects\abc\src\bdd\cudd\cuddTable.c(2358) : warning C4146: unary minus operator applied to unsigned type, result still unsigned cuddUtil.c cuddWindow.c cuddZddCount.c cuddZddFuncs.c cuddZddGroup.c cuddZddIsop.c cuddZddLin.c cuddZddMisc.c cuddZddPort.c cuddZddReord.c cuddZddSetop.c cuddZddSymm.c cuddZddUtil.c epd.c mtrBasic.c mtrGroup.c parseCore.c parseStack.c dsdApi.c dsdCheck.c dsdLocal.c dsdMan.c dsdProc.c dsdTree.c reoApi.c reoCore.c reoProfile.c reoSift.c reoSwap.c reoTest.c reoTransfer.c reoUnits.c mvc.c mvcApi.c mvcCompare.c mvcContain.c mvcCover.c mvcCube.c mvcDivide.c mvcDivisor.c mvcList.c mvcLits.c mvcMan.c mvcOpAlg.c mvcOpBool.c mvcPrint.c mvcSort.c mvcUtils.c ftFactor.c ftPrint.c added.c solver.c msatActivity.c msatClause.c msatClauseVec.c msatMem.c msatOrderJ.c msatQueue.c msatRead.c msatSolverApi.c msatSolverCore.c msatSolverIo.c msatSolverSearch.c msatSort.c msatVec.c fraigApi.c fraigCanon.c fraigFanout.c fraigFeed.c fraigMan.c fraigMem.c fraigNode.c fraigPrime.c fraigSat.c fraigTable.c fraigUtil.c fraigVec.c simMan.c simSat.c simSupp.c simSym.c simUnate.c simUtils.c csat_apis.c fxu.c fxuCreate.c fxuHeapD.c fxuHeapS.c fxuList.c fxuMatrix.c fxuPair.c fxuPrint.c fxuReduce.c fxuSelect.c fxuSingle.c fxuUpdate.c rwrDec.c rwrEva.c rwrExp.c rwrLib.c rwrMan.c rwrPrint.c rwrUtil.c cutMan.c cutMerge.c cutNode.c cutSeq.c cutTable.c cutTruth.c fpga.c fpgaCore.c fpgaCreate.c fpgaCut.c fpgaCutUtils.c fpgaFanout.c fpgaLib.c fpgaMatch.c fpgaTime.c fpgaTruth.c fpgaUtils.c fpgaVec.c mapper.c mapperCanon.c mapperCore.c mapperCreate.c mapperCut.c mapperCutUtils.c mapperFanout.c mapperLib.c mapperMatch.c mapperRefs.c mapperSuper.c mapperTable.c mapperTime.c mapperTree.c mapperTruth.c mapperUtils.c mapperVec.c mio.c mioApi.c mioFunc.c mioRead.c mioUtils.c super.c superAnd.c superGate.c superWrite.c extraBddMisc.c extraBddSymm.c extraUtilBitMatrix.c extraUtilCanon.c extraUtilFile.c extraUtilMemory.c extraUtilMisc.c extraUtilProgress.c extraUtilReader.c st.c stmm.c cpu_stats.c cpu_time.c datalimit.c getopt.c pathsearch.c safe_mem.c strsav.c texpand.c Linking... Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP37ED.tmp" with contents [ /nologo /o"Debug/abc.bsc" .\Debug\abc.sbr .\Debug\abcAig.sbr .\Debug\abcAttach.sbr .\Debug\abcBalance.sbr .\Debug\abcCheck.sbr .\Debug\abcCollapse.sbr .\Debug\abcCreate.sbr .\Debug\abcCut.sbr .\Debug\abcDfs.sbr .\Debug\abcDsd.sbr .\Debug\abcFanio.sbr .\Debug\abcFpga.sbr .\Debug\abcFraig.sbr .\Debug\abcFunc.sbr .\Debug\abcFxu.sbr .\Debug\abcLatch.sbr .\Debug\abcMap.sbr .\Debug\abcMinBase.sbr .\Debug\abcMiter.sbr .\Debug\abcNames.sbr .\Debug\abcNetlist.sbr .\Debug\abcNtbdd.sbr .\Debug\abcPrint.sbr .\Debug\abcReconv.sbr .\Debug\abcRefactor.sbr .\Debug\abcRefs.sbr .\Debug\abcRenode.sbr .\Debug\abcRewrite.sbr .\Debug\abcSat.sbr .\Debug\abcSeq.sbr .\Debug\abcSeqRetime.sbr .\Debug\abcShow.sbr .\Debug\abcSop.sbr .\Debug\abcStrash.sbr .\Debug\abcSweep.sbr .\Debug\abcSymm.sbr .\Debug\abcTiming.sbr .\Debug\abcUnreach.sbr .\Debug\abcUtil.sbr .\Debug\abcVerify.sbr .\Debug\cmd.sbr .\Debug\cmdAlias.sbr .\Debug\cmdApi.sbr .\Debug\cmdFlag.sbr .\Debug\cmdHist.sbr .\Debug\cmdUtils.sbr .\Debug\io.sbr .\Debug\ioRead.sbr .\Debug\ioReadBench.sbr .\Debug\ioReadBlif.sbr .\Debug\ioReadEdif.sbr .\Debug\ioReadEqn.sbr .\Debug\ioReadPla.sbr .\Debug\ioReadVerilog.sbr .\Debug\ioUtil.sbr .\Debug\ioWriteBench.sbr .\Debug\ioWriteBlif.sbr .\Debug\ioWriteCnf.sbr .\Debug\ioWriteDot.sbr .\Debug\ioWriteEqn.sbr .\Debug\ioWriteGml.sbr .\Debug\ioWritePla.sbr .\Debug\main.sbr .\Debug\mainFrame.sbr .\Debug\mainInit.sbr .\Debug\mainUtils.sbr .\Debug\cuddAddAbs.sbr .\Debug\cuddAddApply.sbr .\Debug\cuddAddFind.sbr .\Debug\cuddAddInv.sbr .\Debug\cuddAddIte.sbr .\Debug\cuddAddNeg.sbr .\Debug\cuddAddWalsh.sbr .\Debug\cuddAndAbs.sbr .\Debug\cuddAnneal.sbr .\Debug\cuddApa.sbr .\Debug\cuddAPI.sbr .\Debug\cuddApprox.sbr .\Debug\cuddBddAbs.sbr .\Debug\cuddBddCorr.sbr .\Debug\cuddBddIte.sbr .\Debug\cuddBridge.sbr .\Debug\cuddCache.sbr .\Debug\cuddCheck.sbr .\Debug\cuddClip.sbr .\Debug\cuddCof.sbr .\Debug\cuddCompose.sbr .\Debug\cuddDecomp.sbr .\Debug\cuddEssent.sbr .\Debug\cuddExact.sbr .\Debug\cuddExport.sbr .\Debug\cuddGenCof.sbr .\Debug\cuddGenetic.sbr .\Debug\cuddGroup.sbr .\Debug\cuddHarwell.sbr .\Debug\cuddInit.sbr .\Debug\cuddInteract.sbr .\Debug\cuddLCache.sbr .\Debug\cuddLevelQ.sbr .\Debug\cuddLinear.sbr .\Debug\cuddLiteral.sbr .\Debug\cuddMatMult.sbr .\Debug\cuddPriority.sbr .\Debug\cuddRead.sbr .\Debug\cuddRef.sbr .\Debug\cuddReorder.sbr .\Debug\cuddSat.sbr .\Debug\cuddSign.sbr .\Debug\cuddSolve.sbr .\Debug\cuddSplit.sbr .\Debug\cuddSubsetHB.sbr .\Debug\cuddSubsetSP.sbr .\Debug\cuddSymmetry.sbr .\Debug\cuddTable.sbr .\Debug\cuddUtil.sbr .\Debug\cuddWindow.sbr .\Debug\cuddZddCount.sbr .\Debug\cuddZddFuncs.sbr .\Debug\cuddZddGroup.sbr .\Debug\cuddZddIsop.sbr .\Debug\cuddZddLin.sbr .\Debug\cuddZddMisc.sbr .\Debug\cuddZddPort.sbr .\Debug\cuddZddReord.sbr .\Debug\cuddZddSetop.sbr .\Debug\cuddZddSymm.sbr .\Debug\cuddZddUtil.sbr .\Debug\epd.sbr .\Debug\mtrBasic.sbr .\Debug\mtrGroup.sbr .\Debug\parseCore.sbr .\Debug\parseStack.sbr .\Debug\dsdApi.sbr .\Debug\dsdCheck.sbr .\Debug\dsdLocal.sbr .\Debug\dsdMan.sbr .\Debug\dsdProc.sbr .\Debug\dsdTree.sbr .\Debug\reoApi.sbr .\Debug\reoCore.sbr .\Debug\reoProfile.sbr .\Debug\reoSift.sbr .\Debug\reoSwap.sbr .\Debug\reoTest.sbr .\Debug\reoTransfer.sbr .\Debug\reoUnits.sbr .\Debug\mvc.sbr .\Debug\mvcApi.sbr .\Debug\mvcCompare.sbr .\Debug\mvcContain.sbr .\Debug\mvcCover.sbr .\Debug\mvcCube.sbr .\Debug\mvcDivide.sbr .\Debug\mvcDivisor.sbr .\Debug\mvcList.sbr .\Debug\mvcLits.sbr .\Debug\mvcMan.sbr .\Debug\mvcOpAlg.sbr .\Debug\mvcOpBool.sbr .\Debug\mvcPrint.sbr .\Debug\mvcSort.sbr .\Debug\mvcUtils.sbr .\Debug\ftFactor.sbr .\Debug\ftPrint.sbr .\Debug\added.sbr .\Debug\solver.sbr .\Debug\msatActivity.sbr .\Debug\msatClause.sbr .\Debug\msatClauseVec.sbr .\Debug\msatMem.sbr .\Debug\msatOrderJ.sbr .\Debug\msatQueue.sbr .\Debug\msatRead.sbr .\Debug\msatSolverApi.sbr .\Debug\msatSolverCore.sbr .\Debug\msatSolverIo.sbr .\Debug\msatSolverSearch.sbr .\Debug\msatSort.sbr .\Debug\msatVec.sbr .\Debug\fraigApi.sbr .\Debug\fraigCanon.sbr .\Debug\fraigFanout.sbr .\Debug\fraigFeed.sbr .\Debug\fraigMan.sbr .\Debug\fraigMem.sbr .\Debug\fraigNode.sbr .\Debug\fraigPrime.sbr .\Debug\fraigSat.sbr .\Debug\fraigTable.sbr .\Debug\fraigUtil.sbr .\Debug\fraigVec.sbr .\Debug\simMan.sbr .\Debug\simSat.sbr .\Debug\simSupp.sbr .\Debug\simSym.sbr .\Debug\simUnate.sbr .\Debug\simUtils.sbr .\Debug\csat_apis.sbr .\Debug\fxu.sbr .\Debug\fxuCreate.sbr .\Debug\fxuHeapD.sbr .\Debug\fxuHeapS.sbr .\Debug\fxuList.sbr .\Debug\fxuMatrix.sbr .\Debug\fxuPair.sbr .\Debug\fxuPrint.sbr .\Debug\fxuReduce.sbr .\Debug\fxuSelect.sbr .\Debug\fxuSingle.sbr .\Debug\fxuUpdate.sbr .\Debug\rwrDec.sbr .\Debug\rwrEva.sbr .\Debug\rwrExp.sbr .\Debug\rwrLib.sbr .\Debug\rwrMan.sbr .\Debug\rwrPrint.sbr .\Debug\rwrUtil.sbr .\Debug\cutMan.sbr .\Debug\cutMerge.sbr .\Debug\cutNode.sbr .\Debug\cutSeq.sbr .\Debug\cutTable.sbr .\Debug\cutTruth.sbr .\Debug\fpga.sbr .\Debug\fpgaCore.sbr .\Debug\fpgaCreate.sbr .\Debug\fpgaCut.sbr .\Debug\fpgaCutUtils.sbr .\Debug\fpgaFanout.sbr .\Debug\fpgaLib.sbr .\Debug\fpgaMatch.sbr .\Debug\fpgaTime.sbr .\Debug\fpgaTruth.sbr .\Debug\fpgaUtils.sbr .\Debug\fpgaVec.sbr .\Debug\mapper.sbr .\Debug\mapperCanon.sbr .\Debug\mapperCore.sbr .\Debug\mapperCreate.sbr .\Debug\mapperCut.sbr .\Debug\mapperCutUtils.sbr .\Debug\mapperFanout.sbr .\Debug\mapperLib.sbr .\Debug\mapperMatch.sbr .\Debug\mapperRefs.sbr .\Debug\mapperSuper.sbr .\Debug\mapperTable.sbr .\Debug\mapperTime.sbr .\Debug\mapperTree.sbr .\Debug\mapperTruth.sbr .\Debug\mapperUtils.sbr .\Debug\mapperVec.sbr .\Debug\mio.sbr .\Debug\mioApi.sbr .\Debug\mioFunc.sbr .\Debug\mioRead.sbr .\Debug\mioUtils.sbr .\Debug\super.sbr .\Debug\superAnd.sbr .\Debug\superGate.sbr .\Debug\superWrite.sbr .\Debug\extraBddMisc.sbr .\Debug\extraBddSymm.sbr .\Debug\extraUtilBitMatrix.sbr .\Debug\extraUtilCanon.sbr .\Debug\extraUtilFile.sbr .\Debug\extraUtilMemory.sbr .\Debug\extraUtilMisc.sbr .\Debug\extraUtilProgress.sbr .\Debug\extraUtilReader.sbr .\Debug\st.sbr .\Debug\stmm.sbr .\Debug\cpu_stats.sbr .\Debug\cpu_time.sbr .\Debug\datalimit.sbr .\Debug\getopt.sbr .\Debug\pathsearch.sbr .\Debug\safe_mem.sbr .\Debug\strsav.sbr .\Debug\texpand.sbr] Creating command line "bscmake.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP37ED.tmp" Creating browse info file...

Output Window

Results

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