| | Die temporäre Datei "d:\SAT\9 - Algorithm B (new) + ClausePath\Zip 1\Algorithm D (Older solver, never failed, all tuples properly disabled)\Tests\ClauseTableDisplayer\Release\RSP000001814810800.rsp" wird erstellt. Inhalt:
[
/O2 /Ob2 /Ot /GL /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_UNICODE" /D "UNICODE" /FD /EHsc /MT /Fo"Release\\" /Fd"Release\vc80.pdb" /W3 /c /Wp64 /Zi /TP ".\Main.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\ClauseTableDisplayer\Release\RSP000001814810800.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\ClauseTableDisplayer\Release\RSP000002814810800.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\ClauseTableDisplayer\Release\CTDisplayer.exe" /INCREMENTAL:NO /MANIFEST /MANIFESTFILE:"Release\CTDisplayer.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\clausetabledisplayer\release\CTDisplayer.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\Main.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\ClauseTableDisplayer\Release\RSP000002814810800.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\ClauseTableDisplayer\Release\RSP000003814810800.rsp" wird erstellt. Inhalt:
[
/outputresource:".\release\CTDisplayer.exe;#1" /manifest
".\release\CTDisplayer.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\ClauseTableDisplayer\Release\RSP000003814810800.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\ClauseTableDisplayer\Release\BAT000004814810800.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\ClauseTableDisplayer\Release\BAT000004814810800.bat""" |