###

    Build Log

    Rebuild started: Project: newAtpg, Configuration: Debug|Win32

    Command Lines
      Creating temporary file "c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\RSP0001DF39003536.rsp" with contents
    [
    /Od /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_UNICODE" /D "UNICODE" /Gm /EHsc /RTC1 /MTd /Fo"Debug\\" /Fd"Debug\vc90.pdb" /W3 /c /ZI /TP ".\src\stdafx.cpp"

    ".\src\Solver.cpp"

    ".\src\SimpSolver.cpp"

    ".\src\parser.cpp"

    ".\src\minisatDcSolver.cpp"

    ".\src\minisat2Solver.cpp"

    ".\src\main.cpp"

    ".\src\logic.cpp"

    ".\src\gate.cpp"

    ".\src\dcSolver.cpp"
    ]
    Creating command line "cl.exe @"c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\RSP0001DF39003536.rsp" /nologo /errorReport:prompt"
    Creating temporary file "c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\TMP0001E039003536.tmp" with contents
    [
    1 /* CREATEPROCESS_MANIFEST_RESOURCE_ID */ 24 /* RT_MANIFEST */ ".\\Debug\\newAtpg.exe.embed.manifest"
    ]
    Creating command line "rc.exe /fo".\Debug\newAtpg.exe.embed.manifest.res" "c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\TMP0001E039003536.tmp""
    Creating temporary file "c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\RSP0001E139003536.rsp" with contents
    [
    /OUT:"C:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\Debug\newAtpg.exe" /INCREMENTAL /LIBPATH:"C:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\src\ainclude" /MANIFEST /MANIFESTFILE:"Debug\newAtpg.exe.intermediate.manifest" /MANIFESTUAC:"level='asInvoker' uiAccess='false'" /DEBUG /ASSEMBLYDEBUG /PDB:"C:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\Debug\newAtpg.pdb" /SUBSYSTEM:CONSOLE /DYNAMICBASE /NXCOMPAT /MACHINE:X86 atalantadll.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

    ".\Debug\dcSolver.obj"

    ".\Debug\gate.obj"

    ".\Debug\logic.obj"

    ".\Debug\main.obj"

    ".\Debug\minisat2Solver.obj"

    ".\Debug\minisatDcSolver.obj"

    ".\Debug\parser.obj"

    ".\Debug\SimpSolver.obj"

    ".\Debug\Solver.obj"

    ".\Debug\stdafx.obj"

    ".\Debug\newAtpg.exe.embed.manifest.res"
    ]
    Creating command line "link.exe @"c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\RSP0001E139003536.rsp" /NOLOGO /ERRORREPORT:PROMPT"
    Creating temporary file "c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\RSP0001E239003536.rsp" with contents
    [
    /out:".\Debug\newAtpg.exe.embed.manifest" /notify_update /manifest

    ".\Debug\newAtpg.exe.intermediate.manifest"
    ]
    Creating command line "mt.exe @"c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\RSP0001E239003536.rsp" /nologo"
    Creating temporary file "c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\BAT0001E339003536.bat" with contents
    [
    @echo Manifest resource last updated at %TIME% on %DATE% > ".\Debug\mt.dep"
    ]
    Creating command line """c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\BAT0001E339003536.bat"""
    Creating temporary file "c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\TMP0001E439003536.tmp" with contents
    [
    1 /* CREATEPROCESS_MANIFEST_RESOURCE_ID */ 24 /* RT_MANIFEST */ ".\\Debug\\newAtpg.exe.embed.manifest"
    ]
    Creating command line "rc.exe /fo".\Debug\newAtpg.exe.embed.manifest.res" "c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\TMP0001E439003536.tmp""
    Creating temporary file "c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\RSP0001E539003536.rsp" with contents
    [
    /OUT:"C:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\Debug\newAtpg.exe" /INCREMENTAL /LIBPATH:"C:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\src\ainclude" /MANIFEST /MANIFESTFILE:"Debug\newAtpg.exe.intermediate.manifest" /MANIFESTUAC:"level='asInvoker' uiAccess='false'" /DEBUG /ASSEMBLYDEBUG /PDB:"c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\Debug\newAtpg.pdb" /SUBSYSTEM:CONSOLE /DYNAMICBASE /NXCOMPAT /MACHINE:X86 atalantadll.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

    ".\Debug\dcSolver.obj"

    ".\Debug\gate.obj"

    ".\Debug\logic.obj"

    ".\Debug\main.obj"

    ".\Debug\minisat2Solver.obj"

    ".\Debug\minisatDcSolver.obj"

    ".\Debug\parser.obj"

    ".\Debug\SimpSolver.obj"

    ".\Debug\Solver.obj"

    ".\Debug\stdafx.obj"

    ".\Debug\newAtpg.exe.embed.manifest.res"
    ]
    Creating command line "link.exe @"c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\RSP0001E539003536.rsp" /NOLOGO /ERRORREPORT:PROMPT"

    Output Window
      Compiling...
    dcSolver.cpp
    gate.cpp
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\gate.cpp(784) : warning C4800: 'int' : forcing value to bool 'true' or 'false' (performance warning)
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\gate.cpp(797) : warning C4800: 'int' : forcing value to bool 'true' or 'false' (performance warning)
    logic.cpp
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\logic.cpp(423) : warning C4018: '<' : signed/unsigned mismatch
    main.cpp
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\solver.h(244) : warning C4244: '+=' : conversion from 'double' to 'float', possible loss of data
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\solver.h(248) : warning C4305: '*=' : truncation from 'double' to 'float'
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\faultsimulation.h(50) : warning C4275: non dll-interface class 'atalantadll::ReadableFaultList' used as base for dll-interface class 'atalantadll::FaultSimulation'
            c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\fault.h(86) : see declaration of 'atalantadll::ReadableFaultList'
            c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\faultsimulation.h(49) : see declaration of 'atalantadll::FaultSimulation'
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\readablenet.h(19) : warning C4251: 'atalantadll::ReadableNet::circuit' : class 'std::basic_istream<_Elem,_Traits>' needs to have dll-interface to be used by clients of class 'atalantadll::ReadableNet'
            with
            [
                _Elem=char,
                _Traits=std::char_traits
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\simulation.h(26) : warning C4018: '>=' : signed/unsigned mismatch
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\simulation.h(56) : warning C4251: 'atalantadll::Simulation::testVectors' : class 'atalantadll::TestVectorsData' needs to have dll-interface to be used by clients of class 'atalantadll::Simulation'
            c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\simulation.h(14) : see declaration of 'atalantadll::TestVectorsData'
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\simulation.h(57) : warning C4251: 'atalantadll::Simulation::testVectors1' : class 'atalantadll::TestVectorsData' needs to have dll-interface to be used by clients of class 'atalantadll::Simulation'
            c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\simulation.h(14) : see declaration of 'atalantadll::TestVectorsData'
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\simulation.h(58) : warning C4251: 'atalantadll::Simulation::testStore' : class 'atalantadll::TestVectorsData' needs to have dll-interface to be used by clients of class 'atalantadll::Simulation'
            c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\simulation.h(14) : see declaration of 'atalantadll::TestVectorsData'
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\simulation.h(59) : warning C4251: 'atalantadll::Simulation::testStore1' : class 'atalantadll::TestVectorsData' needs to have dll-interface to be used by clients of class 'atalantadll::Simulation'
            c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\simulation.h(14) : see declaration of 'atalantadll::TestVectorsData'
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\params.h(21) : warning C4251: 'atalantadll::Params::sPatternFile' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Params'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\params.h(23) : warning C4251: 'atalantadll::Params::benchFile' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Params'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\params.h(27) : warning C4251: 'atalantadll::Params::faultFile' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Params'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\params.h(34) : warning C4251: 'atalantadll::Params::udFaultsFile' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Params'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\params.h(37) : warning C4251: 'atalantadll::Params::wFaultFile' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Params'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\params.h(40) : warning C4251: 'atalantadll::Params::maskFile' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Params'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\params.h(42) : warning C4251: 'atalantadll::Params::reportFile' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Params'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\params.h(46) : warning C4251: 'atalantadll::Params::lfsrPoly' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Params'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\params.h(47) : warning C4251: 'atalantadll::Params::lfsrSeed' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Params'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(74) : warning C4251: 'atalantadll::Atalanta::genResFile' : class 'std::basic_fstream<_Elem,_Traits>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Elem=char,
                _Traits=std::char_traits
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(77) : warning C4251: 'atalantadll::Atalanta::sPatternFile' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(78) : warning C4251: 'atalantadll::Atalanta::patternFile' : class 'std::basic_fstream<_Elem,_Traits>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Elem=char,
                _Traits=std::char_traits
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(82) : warning C4251: 'atalantadll::Atalanta::benchFile' : class 'std::basic_fstream<_Elem,_Traits>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Elem=char,
                _Traits=std::char_traits
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(86) : warning C4251: 'atalantadll::Atalanta::faultFile' : class 'std::basic_fstream<_Elem,_Traits>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Elem=char,
                _Traits=std::char_traits
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(90) : warning C4251: 'atalantadll::Atalanta::wFaultFile' : class 'std::basic_fstream<_Elem,_Traits>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Elem=char,
                _Traits=std::char_traits
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(94) : warning C4251: 'atalantadll::Atalanta::udFaultsFile' : class 'std::basic_fstream<_Elem,_Traits>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Elem=char,
                _Traits=std::char_traits
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(98) : warning C4251: 'atalantadll::Atalanta::maskFile' : class 'std::basic_fstream<_Elem,_Traits>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Elem=char,
                _Traits=std::char_traits
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(102) : warning C4251: 'atalantadll::Atalanta::reportFile' : class 'std::basic_fstream<_Elem,_Traits>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Elem=char,
                _Traits=std::char_traits
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(105) : warning C4251: 'atalantadll::Atalanta::circuitName' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(109) : warning C4251: 'atalantadll::Atalanta::lfsrPoly' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(110) : warning C4251: 'atalantadll::Atalanta::lfsrSeed' : class 'std::basic_string<_Elem,_Traits,_Ax>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Elem=char,
                _Traits=std::char_traits,
                _Ax=std::allocator
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\ainclude\atpg.h(147) : warning C4251: 'atalantadll::Atalanta::impo' : class 'std::list<_Ty>' needs to have dll-interface to be used by clients of class 'atalantadll::Atalanta'
            with
            [
                _Ty=atalantadll::Eden
            ]
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\main.cpp(832) : warning C4018: '<' : signed/unsigned mismatch
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\main.cpp(894) : warning C4018: '>=' : signed/unsigned mismatch
    minisat2Solver.cpp
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\solver.h(244) : warning C4244: '+=' : conversion from 'double' to 'float', possible loss of data
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\solver.h(248) : warning C4305: '*=' : truncation from 'double' to 'float'
    minisatDcSolver.cpp
    parser.cpp
    SimpSolver.cpp
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\solver.h(244) : warning C4244: '+=' : conversion from 'double' to 'float', possible loss of data
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\solver.h(248) : warning C4305: '*=' : truncation from 'double' to 'float'
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\simpsolver.cpp(682) : warning C4996: 'fopen': This function or variable may be unsafe. Consider using fopen_s instead. To disable deprecation, use _CRT_SECURE_NO_WARNINGS. See online help for details.
            d:\visual studio\vc\include\stdio.h(237) : see declaration of 'fopen'
    Solver.cpp
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\solver.h(244) : warning C4244: '+=' : conversion from 'double' to 'float', possible loss of data
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\solver.h(248) : warning C4305: '*=' : truncation from 'double' to 'float'
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\solver.cpp(197) : warning C4800: 'char' : forcing value to bool 'true' or 'false' (performance warning)
    c:\documents and settings\baca\dokumenty\visual studio 2008\projects\newatpg\newatpg\src\solver.cpp(198) : warning C4800: 'int' : forcing value to bool 'true' or 'false' (performance warning)
    stdafx.cpp
    Generating Code...
    Compiling manifest to resources...
    Microsoft (R) Windows (R) Resource Compiler Version 6.1.6723.1
    Copyright (C) Microsoft Corporation.  All rights reserved.
    Linking...
    LINK : C:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\Debug\newAtpg.exe not found or not built by the last incremental link; performing full link
       Creating library C:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\Debug\newAtpg.lib and object C:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\Debug\newAtpg.exp
    Embedding manifest...
    Microsoft (R) Windows (R) Resource Compiler Version 6.1.6723.1
    Copyright (C) Microsoft Corporation.  All rights reserved.

    Results
      Build log was saved at "file://c:\Documents and Settings\Baca\Dokumenty\Visual Studio 2008\Projects\newAtpg\newAtpg\Debug\BuildLog.htm"
    newAtpg - 0 error(s), 45 warning(s)