Build Log

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

Command Lines

Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1AD8.tmp" with contents [ /nologo /MLd /W3 /Gm /GX /ZI /Od /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\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\abcs\abcLogic.c" ] Creating command line "cl.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1AD8.tmp" Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1AD9.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\abcAig.obj .\Debug\abcCheck.obj .\Debug\abcDfs.obj .\Debug\abcFanio.obj .\Debug\abcFunc.obj .\Debug\abcLatch.obj .\Debug\abcMinBase.obj .\Debug\abcNames.obj .\Debug\abcNetlist.obj .\Debug\abcNtk.obj .\Debug\abcObj.obj .\Debug\abcRefs.obj .\Debug\abcShow.obj .\Debug\abcSop.obj .\Debug\abcUtil.obj .\Debug\abc.obj .\Debug\abcAttach.obj .\Debug\abcBalance.obj .\Debug\abcCollapse.obj .\Debug\abcCut.obj .\Debug\abcDsd.obj .\Debug\abcFpga.obj .\Debug\abcFraig.obj .\Debug\abcFxu.obj .\Debug\abcMap.obj .\Debug\abcMiter.obj .\Debug\abcNtbdd.obj .\Debug\abcPga.obj .\Debug\abcPrint.obj .\Debug\abcReconv.obj .\Debug\abcRefactor.obj .\Debug\abcRenode.obj .\Debug\abcRewrite.obj .\Debug\abcSat.obj .\Debug\abcStrash.obj .\Debug\abcSweep.obj .\Debug\abcSymm.obj .\Debug\abcTiming.obj .\Debug\abcUnreach.obj .\Debug\abcVerify.obj .\Debug\abcRetime.obj .\Debug\abcSeq.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\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\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\cutApi.obj .\Debug\cutCut.obj .\Debug\cutMan.obj .\Debug\cutMerge.obj .\Debug\cutNode.obj .\Debug\cutSeq.obj .\Debug\cutTruth.obj .\Debug\decAbc.obj .\Debug\decFactor.obj .\Debug\decMan.obj .\Debug\decPrint.obj .\Debug\decUtil.obj .\Debug\simMan.obj .\Debug\simSat.obj .\Debug\simSupp.obj .\Debug\simSwitch.obj .\Debug\simSym.obj .\Debug\simSymSat.obj .\Debug\simSymSim.obj .\Debug\simSymStr.obj .\Debug\simUtils.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\fpgaSwitch.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\mapperSwitch.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\pgaCore.obj .\Debug\pgaMan.obj .\Debug\pgaMatch.obj .\Debug\pgaUtil.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 .\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\abcLogic.obj .\Debug\abcUtils.obj .\Debug\abcForBack.obj ] Creating command line "link.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1AD9.tmp"

Output Window

Compiling... abcLogic.c Linking... Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1ADA.tmp" with contents [ /nologo /o"Debug/abc.bsc" .\Debug\abcAig.sbr .\Debug\abcCheck.sbr .\Debug\abcDfs.sbr .\Debug\abcFanio.sbr .\Debug\abcFunc.sbr .\Debug\abcLatch.sbr .\Debug\abcMinBase.sbr .\Debug\abcNames.sbr .\Debug\abcNetlist.sbr .\Debug\abcNtk.sbr .\Debug\abcObj.sbr .\Debug\abcRefs.sbr .\Debug\abcShow.sbr .\Debug\abcSop.sbr .\Debug\abcUtil.sbr .\Debug\abc.sbr .\Debug\abcAttach.sbr .\Debug\abcBalance.sbr .\Debug\abcCollapse.sbr .\Debug\abcCut.sbr .\Debug\abcDsd.sbr .\Debug\abcFpga.sbr .\Debug\abcFraig.sbr .\Debug\abcFxu.sbr .\Debug\abcMap.sbr .\Debug\abcMiter.sbr .\Debug\abcNtbdd.sbr .\Debug\abcPga.sbr .\Debug\abcPrint.sbr .\Debug\abcReconv.sbr .\Debug\abcRefactor.sbr .\Debug\abcRenode.sbr .\Debug\abcRewrite.sbr .\Debug\abcSat.sbr .\Debug\abcStrash.sbr .\Debug\abcSweep.sbr .\Debug\abcSymm.sbr .\Debug\abcTiming.sbr .\Debug\abcUnreach.sbr .\Debug\abcVerify.sbr .\Debug\abcRetime.sbr .\Debug\abcSeq.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\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\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\cutApi.sbr .\Debug\cutCut.sbr .\Debug\cutMan.sbr .\Debug\cutMerge.sbr .\Debug\cutNode.sbr .\Debug\cutSeq.sbr .\Debug\cutTruth.sbr .\Debug\decAbc.sbr .\Debug\decFactor.sbr .\Debug\decMan.sbr .\Debug\decPrint.sbr .\Debug\decUtil.sbr .\Debug\simMan.sbr .\Debug\simSat.sbr .\Debug\simSupp.sbr .\Debug\simSwitch.sbr .\Debug\simSym.sbr .\Debug\simSymSat.sbr .\Debug\simSymSim.sbr .\Debug\simSymStr.sbr .\Debug\simUtils.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\fpgaSwitch.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\mapperSwitch.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\pgaCore.sbr .\Debug\pgaMan.sbr .\Debug\pgaMatch.sbr .\Debug\pgaUtil.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 .\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\abcLogic.sbr .\Debug\abcUtils.sbr .\Debug\abcForBack.sbr] Creating command line "bscmake.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1ADA.tmp" Creating browse info file...

Output Window

Results

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