Build Log

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

Command Lines

Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSPDDB.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\seq" /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\bsat" /I "src\sat\msat" /I "src\sat\fraig" /I "src\opt\cut" /I "src\opt\dec" /I "src\opt\fxu" /I "src\opt\sim" /I "src\opt\rwr" /I "src\opt\kit" /I "src\opt\res" /I "src\map\fpga" /I "src\map\if" /I "src\map\mapper" /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" /I "src\misc\espresso" /I "src\misc\nm" /I "src\misc\hash" /I "src\aig\ivy" /I "src\aig\hop" /I "src\aig\rwt" /I "src\aig\deco" /I "src\aig\mem" /I "src\temp\esop" /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /FR"Debug/" /Fp"Debug/abc.pch" /YX /Fo"Debug/" /Fd"Debug/" /FD /GZ /c "C:\_projects\abc\src\base\ver\verCore.c" "C:\_projects\abc\src\base\ver\verParse.c" ] Creating command line "cl.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSPDDB.tmp" Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSPDDC.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\abcHie.obj .\Debug\abcLatch.obj .\Debug\abcLib.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\abcAuto.obj .\Debug\abcBalance.obj .\Debug\abcBmc.obj .\Debug\abcClpBdd.obj .\Debug\abcClpSop.obj .\Debug\abcCut.obj .\Debug\abcDebug.obj .\Debug\abcDress.obj .\Debug\abcDsd.obj .\Debug\abcEspresso.obj .\Debug\abcExtract.obj .\Debug\abcFpga.obj .\Debug\abcFpgaFast.obj .\Debug\abcFraig.obj .\Debug\abcFxu.obj .\Debug\abcGen.obj .\Debug\abcIf.obj .\Debug\abcIvy.obj .\Debug\abcLut.obj .\Debug\abcMap.obj .\Debug\abcMini.obj .\Debug\abcMiter.obj .\Debug\abcMulti.obj .\Debug\abcMv.obj .\Debug\abcNtbdd.obj .\Debug\abcOdc.obj .\Debug\abcOrder.obj .\Debug\abcPrint.obj .\Debug\abcProve.obj .\Debug\abcReconv.obj .\Debug\abcRefactor.obj .\Debug\abcRenode.obj .\Debug\abcReorder.obj .\Debug\abcRestruct.obj .\Debug\abcResub.obj .\Debug\abcRewrite.obj .\Debug\abcRr.obj .\Debug\abcSat.obj .\Debug\abcStrash.obj .\Debug\abcSweep.obj .\Debug\abcSymm.obj .\Debug\abcTiming.obj .\Debug\abcUnate.obj .\Debug\abcUnreach.obj .\Debug\abcVerify.obj .\Debug\abcXsim.obj .\Debug\cmd.obj .\Debug\cmdAlias.obj .\Debug\cmdApi.obj .\Debug\cmdFlag.obj .\Debug\cmdHist.obj .\Debug\cmdUtils.obj .\Debug\io.obj .\Debug\ioReadAiger.obj .\Debug\ioReadBaf.obj .\Debug\ioReadBench.obj .\Debug\ioReadBlif.obj .\Debug\ioReadBlifAig.obj .\Debug\ioReadBlifMv.obj .\Debug\ioReadEdif.obj .\Debug\ioReadEqn.obj .\Debug\ioReadPla.obj .\Debug\ioUtil.obj .\Debug\ioWriteAiger.obj .\Debug\ioWriteBaf.obj .\Debug\ioWriteBench.obj .\Debug\ioWriteBlif.obj .\Debug\ioWriteBlifMv.obj .\Debug\ioWriteCnf.obj .\Debug\ioWriteDot.obj .\Debug\ioWriteEqn.obj .\Debug\ioWriteGml.obj .\Debug\ioWriteList.obj .\Debug\ioWritePla.obj .\Debug\libSupport.obj .\Debug\main.obj .\Debug\mainFrame.obj .\Debug\mainInit.obj .\Debug\mainUtils.obj .\Debug\verCore.obj .\Debug\verFormula.obj .\Debug\verParse.obj .\Debug\verStream.obj .\Debug\hopBalance.obj .\Debug\hopCheck.obj .\Debug\hopDfs.obj .\Debug\hopMan.obj .\Debug\hopMem.obj .\Debug\hopObj.obj .\Debug\hopOper.obj .\Debug\hopTable.obj .\Debug\hopUtil.obj .\Debug\ivyBalance.obj .\Debug\ivyCanon.obj .\Debug\ivyCheck.obj .\Debug\ivyCut.obj .\Debug\ivyCutTrav.obj .\Debug\ivyDfs.obj .\Debug\ivyDsd.obj .\Debug\ivyFanout.obj .\Debug\ivyFastMap.obj .\Debug\ivyFraig.obj .\Debug\ivyHaig.obj .\Debug\ivyMan.obj .\Debug\ivyMem.obj .\Debug\ivyMulti.obj .\Debug\ivyObj.obj .\Debug\ivyOper.obj .\Debug\ivyResyn.obj .\Debug\ivyRwr.obj .\Debug\ivySeq.obj .\Debug\ivyShow.obj .\Debug\ivyTable.obj .\Debug\ivyUtil.obj .\Debug\rwtDec.obj .\Debug\rwtMan.obj .\Debug\rwtUtil.obj .\Debug\mem.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\parseEqn.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\msatActivity.obj .\Debug\msatClause.obj .\Debug\msatClauseVec.obj .\Debug\msatMem.obj .\Debug\msatOrderH.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\fraigChoice.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\satInter.obj .\Debug\satMem.obj .\Debug\satSolver.obj .\Debug\satStore.obj .\Debug\satTrace.obj .\Debug\satUtil.obj .\Debug\pr.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\rwrTemp.obj .\Debug\rwrUtil.obj .\Debug\cutApi.obj .\Debug\cutCut.obj .\Debug\cutExpand.obj .\Debug\cutMan.obj .\Debug\cutMerge.obj .\Debug\cutNode.obj .\Debug\cutOracle.obj .\Debug\cutPre22.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\simSeq.obj .\Debug\simSupp.obj .\Debug\simSwitch.obj .\Debug\simSym.obj .\Debug\simSymSat.obj .\Debug\simSymSim.obj .\Debug\simSymStr.obj .\Debug\simUtils.obj .\Debug\retArea.obj .\Debug\retCore.obj .\Debug\retDelay.obj .\Debug\retFlow.obj .\Debug\retIncrem.obj .\Debug\retInit.obj .\Debug\retLvalue.obj .\Debug\kitBdd.obj .\Debug\kitFactor.obj .\Debug\kitGraph.obj .\Debug\kitHop.obj .\Debug\kitIsop.obj .\Debug\kitSop.obj .\Debug\kitTruth.obj .\Debug\resCore.obj .\Debug\resDivs.obj .\Debug\resFilter.obj .\Debug\resSat.obj .\Debug\resSim.obj .\Debug\resStrash.obj .\Debug\resUpdate.obj .\Debug\resWin.obj .\Debug\bdcCore.obj .\Debug\bdcDec.obj .\Debug\bdcTable.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\ifCore.obj .\Debug\ifCut.obj .\Debug\ifMan.obj .\Debug\ifMap.obj .\Debug\ifPrepro.obj .\Debug\ifReduce.obj .\Debug\ifSeq.obj .\Debug\ifTime.obj .\Debug\ifTruth.obj .\Debug\ifUtil.obj .\Debug\extraBddAuto.obj .\Debug\extraBddKmap.obj .\Debug\extraBddMisc.obj .\Debug\extraBddSymm.obj .\Debug\extraBddUnate.obj .\Debug\extraUtilBitMatrix.obj .\Debug\extraUtilCanon.obj .\Debug\extraUtilFile.obj .\Debug\extraUtilMemory.obj .\Debug\extraUtilMisc.obj .\Debug\extraUtilProgress.obj .\Debug\extraUtilReader.obj .\Debug\extraUtilTruth.obj .\Debug\extraUtilUtil.obj .\Debug\st.obj .\Debug\stmm.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\cofactor.obj .\Debug\cols.obj .\Debug\compl.obj .\Debug\contain.obj .\Debug\cubehack.obj .\Debug\cubestr.obj .\Debug\cvrin.obj .\Debug\cvrm.obj .\Debug\cvrmisc.obj .\Debug\cvrout.obj .\Debug\dominate.obj .\Debug\equiv.obj .\Debug\espresso.obj .\Debug\essen.obj .\Debug\exact.obj .\Debug\expand.obj .\Debug\gasp.obj .\Debug\gimpel.obj .\Debug\globals.obj .\Debug\hack.obj .\Debug\indep.obj .\Debug\irred.obj .\Debug\map.obj .\Debug\matrix.obj .\Debug\mincov.obj .\Debug\opo.obj .\Debug\pair.obj .\Debug\part.obj .\Debug\primes.obj .\Debug\reduce.obj .\Debug\rows.obj .\Debug\set.obj .\Debug\setc.obj .\Debug\sharp.obj .\Debug\sminterf.obj .\Debug\solution.obj .\Debug\sparse.obj .\Debug\unate.obj .\Debug\verify.obj .\Debug\nmApi.obj .\Debug\nmTable.obj .\Debug\ioWriteVerilog.obj .\Debug\ioReadVerilog.obj ] Creating command line "link.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSPDDC.tmp"

Output Window

Compiling... verCore.c verParse.c Linking... Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSPDDD.tmp" with contents [ /nologo /o"Debug/abc.bsc" .\Debug\abcAig.sbr .\Debug\abcCheck.sbr .\Debug\abcDfs.sbr .\Debug\abcFanio.sbr .\Debug\abcFunc.sbr .\Debug\abcHie.sbr .\Debug\abcLatch.sbr .\Debug\abcLib.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\abcAuto.sbr .\Debug\abcBalance.sbr .\Debug\abcBmc.sbr .\Debug\abcClpBdd.sbr .\Debug\abcClpSop.sbr .\Debug\abcCut.sbr .\Debug\abcDebug.sbr .\Debug\abcDress.sbr .\Debug\abcDsd.sbr .\Debug\abcEspresso.sbr .\Debug\abcExtract.sbr .\Debug\abcFpga.sbr .\Debug\abcFpgaFast.sbr .\Debug\abcFraig.sbr .\Debug\abcFxu.sbr .\Debug\abcGen.sbr .\Debug\abcIf.sbr .\Debug\abcIvy.sbr .\Debug\abcLut.sbr .\Debug\abcMap.sbr .\Debug\abcMini.sbr .\Debug\abcMiter.sbr .\Debug\abcMulti.sbr .\Debug\abcMv.sbr .\Debug\abcNtbdd.sbr .\Debug\abcOdc.sbr .\Debug\abcOrder.sbr .\Debug\abcPrint.sbr .\Debug\abcProve.sbr .\Debug\abcReconv.sbr .\Debug\abcRefactor.sbr .\Debug\abcRenode.sbr .\Debug\abcReorder.sbr .\Debug\abcRestruct.sbr .\Debug\abcResub.sbr .\Debug\abcRewrite.sbr .\Debug\abcRr.sbr .\Debug\abcSat.sbr .\Debug\abcStrash.sbr .\Debug\abcSweep.sbr .\Debug\abcSymm.sbr .\Debug\abcTiming.sbr .\Debug\abcUnate.sbr .\Debug\abcUnreach.sbr .\Debug\abcVerify.sbr .\Debug\abcXsim.sbr .\Debug\cmd.sbr .\Debug\cmdAlias.sbr .\Debug\cmdApi.sbr .\Debug\cmdFlag.sbr .\Debug\cmdHist.sbr .\Debug\cmdUtils.sbr .\Debug\io.sbr .\Debug\ioReadAiger.sbr .\Debug\ioReadBaf.sbr .\Debug\ioReadBench.sbr .\Debug\ioReadBlif.sbr .\Debug\ioReadBlifAig.sbr .\Debug\ioReadBlifMv.sbr .\Debug\ioReadEdif.sbr .\Debug\ioReadEqn.sbr .\Debug\ioReadPla.sbr .\Debug\ioUtil.sbr .\Debug\ioWriteAiger.sbr .\Debug\ioWriteBaf.sbr .\Debug\ioWriteBench.sbr .\Debug\ioWriteBlif.sbr .\Debug\ioWriteBlifMv.sbr .\Debug\ioWriteCnf.sbr .\Debug\ioWriteDot.sbr .\Debug\ioWriteEqn.sbr .\Debug\ioWriteGml.sbr .\Debug\ioWriteList.sbr .\Debug\ioWritePla.sbr .\Debug\libSupport.sbr .\Debug\main.sbr .\Debug\mainFrame.sbr .\Debug\mainInit.sbr .\Debug\mainUtils.sbr .\Debug\verCore.sbr .\Debug\verFormula.sbr .\Debug\verParse.sbr .\Debug\verStream.sbr .\Debug\hopBalance.sbr .\Debug\hopCheck.sbr .\Debug\hopDfs.sbr .\Debug\hopMan.sbr .\Debug\hopMem.sbr .\Debug\hopObj.sbr .\Debug\hopOper.sbr .\Debug\hopTable.sbr .\Debug\hopUtil.sbr .\Debug\ivyBalance.sbr .\Debug\ivyCanon.sbr .\Debug\ivyCheck.sbr .\Debug\ivyCut.sbr .\Debug\ivyCutTrav.sbr .\Debug\ivyDfs.sbr .\Debug\ivyDsd.sbr .\Debug\ivyFanout.sbr .\Debug\ivyFastMap.sbr .\Debug\ivyFraig.sbr .\Debug\ivyHaig.sbr .\Debug\ivyMan.sbr .\Debug\ivyMem.sbr .\Debug\ivyMulti.sbr .\Debug\ivyObj.sbr .\Debug\ivyOper.sbr .\Debug\ivyResyn.sbr .\Debug\ivyRwr.sbr .\Debug\ivySeq.sbr .\Debug\ivyShow.sbr .\Debug\ivyTable.sbr .\Debug\ivyUtil.sbr .\Debug\rwtDec.sbr .\Debug\rwtMan.sbr .\Debug\rwtUtil.sbr .\Debug\mem.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\parseEqn.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\msatActivity.sbr .\Debug\msatClause.sbr .\Debug\msatClauseVec.sbr .\Debug\msatMem.sbr .\Debug\msatOrderH.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\fraigChoice.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\satInter.sbr .\Debug\satMem.sbr .\Debug\satSolver.sbr .\Debug\satStore.sbr .\Debug\satTrace.sbr .\Debug\satUtil.sbr .\Debug\pr.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\rwrTemp.sbr .\Debug\rwrUtil.sbr .\Debug\cutApi.sbr .\Debug\cutCut.sbr .\Debug\cutExpand.sbr .\Debug\cutMan.sbr .\Debug\cutMerge.sbr .\Debug\cutNode.sbr .\Debug\cutOracle.sbr .\Debug\cutPre22.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\simSeq.sbr .\Debug\simSupp.sbr .\Debug\simSwitch.sbr .\Debug\simSym.sbr .\Debug\simSymSat.sbr .\Debug\simSymSim.sbr .\Debug\simSymStr.sbr .\Debug\simUtils.sbr .\Debug\retArea.sbr .\Debug\retCore.sbr .\Debug\retDelay.sbr .\Debug\retFlow.sbr .\Debug\retIncrem.sbr .\Debug\retInit.sbr .\Debug\retLvalue.sbr .\Debug\kitBdd.sbr .\Debug\kitFactor.sbr .\Debug\kitGraph.sbr .\Debug\kitHop.sbr .\Debug\kitIsop.sbr .\Debug\kitSop.sbr .\Debug\kitTruth.sbr .\Debug\resCore.sbr .\Debug\resDivs.sbr .\Debug\resFilter.sbr .\Debug\resSat.sbr .\Debug\resSim.sbr .\Debug\resStrash.sbr .\Debug\resUpdate.sbr .\Debug\resWin.sbr .\Debug\bdcCore.sbr .\Debug\bdcDec.sbr .\Debug\bdcTable.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\ifCore.sbr .\Debug\ifCut.sbr .\Debug\ifMan.sbr .\Debug\ifMap.sbr .\Debug\ifPrepro.sbr .\Debug\ifReduce.sbr .\Debug\ifSeq.sbr .\Debug\ifTime.sbr .\Debug\ifTruth.sbr .\Debug\ifUtil.sbr .\Debug\extraBddAuto.sbr .\Debug\extraBddKmap.sbr .\Debug\extraBddMisc.sbr .\Debug\extraBddSymm.sbr .\Debug\extraBddUnate.sbr .\Debug\extraUtilBitMatrix.sbr .\Debug\extraUtilCanon.sbr .\Debug\extraUtilFile.sbr .\Debug\extraUtilMemory.sbr .\Debug\extraUtilMisc.sbr .\Debug\extraUtilProgress.sbr .\Debug\extraUtilReader.sbr .\Debug\extraUtilTruth.sbr .\Debug\extraUtilUtil.sbr .\Debug\st.sbr .\Debug\stmm.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\cofactor.sbr .\Debug\cols.sbr .\Debug\compl.sbr .\Debug\contain.sbr .\Debug\cubehack.sbr .\Debug\cubestr.sbr .\Debug\cvrin.sbr .\Debug\cvrm.sbr .\Debug\cvrmisc.sbr .\Debug\cvrout.sbr .\Debug\dominate.sbr .\Debug\equiv.sbr .\Debug\espresso.sbr .\Debug\essen.sbr .\Debug\exact.sbr .\Debug\expand.sbr .\Debug\gasp.sbr .\Debug\gimpel.sbr .\Debug\globals.sbr .\Debug\hack.sbr .\Debug\indep.sbr .\Debug\irred.sbr .\Debug\map.sbr .\Debug\matrix.sbr .\Debug\mincov.sbr .\Debug\opo.sbr .\Debug\pair.sbr .\Debug\part.sbr .\Debug\primes.sbr .\Debug\reduce.sbr .\Debug\rows.sbr .\Debug\set.sbr .\Debug\setc.sbr .\Debug\sharp.sbr .\Debug\sminterf.sbr .\Debug\solution.sbr .\Debug\sparse.sbr .\Debug\unate.sbr .\Debug\verify.sbr .\Debug\nmApi.sbr .\Debug\nmTable.sbr .\Debug\ioWriteVerilog.sbr .\Debug\ioReadVerilog.sbr] Creating command line "bscmake.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSPDDD.tmp" Creating browse info file...

Output Window

Results

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