Buildprotokoll
  

Neu erstellen wurde gestartet: Projekt: "FinalProofVerificationProgramTwo", Konfiguration: "Release|Win32"

Befehlszeilen
  
Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\FinalProofVerificationProgramTwo\Release\RSP000001112087232.rsp" wird erstellt. Inhalt:
[
/O2 /Ob2 /Oi /Ot /GL /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_UNICODE" /D "UNICODE" /FD /EHsc /MD /Fo"Release\\" /Fd"Release\vc80.pdb" /W3 /c /Wp64 /Zi /TP ".\FinalProofVerificationProgramTwo.cpp"
]Erstellen der Befehlszeile "cl.exe @"d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\FinalProofVerificationProgramTwo\Release\RSP000001112087232.rsp" /nologo /errorReport:prompt"Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\FinalProofVerificationProgramTwo\Release\RSP000002112087232.rsp" wird erstellt. Inhalt:
[
/OUT:"D:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\FinalProofVerificationProgramTwo\Release\FinalProofVerificationProgramTwo.exe" /INCREMENTAL:NO /MANIFEST /MANIFESTFILE:"Release\FinalProofVerificationProgramTwo.exe.intermediate.manifest" /DEBUG /PDB:"d:\sat\9 - algorithm b (new) + clausepath\zip 1\algorithm d (older solver, never failed, all tuples properly disabled)\tests\finalproofverificationprogramtwo\release\FinalProofVerificationProgramTwo.pdb" /SUBSYSTEM:CONSOLE /OPT:REF /OPT:ICF /LTCG /MACHINE:X86 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib

".\release\FinalProofVerificationProgramTwo.obj"
]Erstellen der Befehlszeile "link.exe @"d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\FinalProofVerificationProgramTwo\Release\RSP000002112087232.rsp" /NOLOGO /ERRORREPORT:PROMPT"Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\FinalProofVerificationProgramTwo\Release\RSP000003112087232.rsp" wird erstellt. Inhalt:
[
/outputresource:".\release\FinalProofVerificationProgramTwo.exe;#1" /manifest

".\release\FinalProofVerificationProgramTwo.exe.intermediate.manifest"
]Erstellen der Befehlszeile "mt.exe @"d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\FinalProofVerificationProgramTwo\Release\RSP000003112087232.rsp" /nologo"Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\FinalProofVerificationProgramTwo\Release\BAT000004112087232.bat" wird erstellt. Inhalt:
[
@echo, die Manifestressource wurde zuletzt um %TIME% am %DATE% aktualisiert > ".\release\mt.dep"
]Erstellen der Befehlszeile """d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\FinalProofVerificationProgramTwo\Release\BAT000004112087232.bat"""
Ausgabefenster
  
Kompilieren...
FinalProofVerificationProgramTwo.cpp
Verknüpfen...
Code wird generiert.
Codegenerierung ist abgeschlossen.
Das Manifest wird eingebettet...
Ergebnisse
  
Das Buildprotokoll wurde unter "file://d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\FinalProofVerificationProgramTwo\Release\BuildLog.htm" gespeichert.
FinalProofVerificationProgramTwo - 0 Fehler, 0 Warnung(en)