[llvm-commits] [test-suite] r111506 - /test-suite/trunk/MultiSource/Applications/minisat/Main.cpp

[Daniel Dunbar]

Author: ddunbar
Date: Wed Aug 18 21:03:05 2010
New Revision: 111506

URL: http://llvm.org/viewvc/llvm-project?rev=111506&view=rev
Log:
Avoid Linux only printf, to match reference output.

Modified:
    test-suite/trunk/MultiSource/Applications/minisat/Main.cpp

Modified: test-suite/trunk/MultiSource/Applications/minisat/Main.cpp
URL: http://llvm.org/viewvc/llvm-project/test-suite/trunk/MultiSource/Applications/minisat/Main.cpp?rev=111506&r1=111505&r2=111506&view=diff
==============================================================================
--- test-suite/trunk/MultiSource/Applications/minisat/Main.cpp (original)
+++ test-suite/trunk/MultiSource/Applications/minisat/Main.cpp Wed Aug 18 21:03:05 2010
@@ -197,7 +197,6 @@
     reportf("decisions             : %-12lld   (%4.2f %% random)\n", solver.decisions, (float)solver.rnd_decisions*100 / (float)solver.decisions);
     reportf("propagations          : %-12lld\n", solver.propagations);
     reportf("conflict literals     : %-12lld   (%4.2f %% deleted)\n", solver.tot_literals, (solver.max_literals - solver.tot_literals)*100 / (double)solver.max_literals);
-    if (mem_used != 0) reportf("Memory used           : %.2f MB\n", mem_used / 1048576.0);
 }
 
 Solver* solver;
@@ -286,7 +285,6 @@
 #if defined(__linux__) && defined(_FPU_EXTENDED) && defined(_FPU_DOUBLE)
     fpu_control_t oldcw, newcw;
     _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw);
-    reportf("WARNING: for repeatability, setting FPU to use double precision\n");
 #endif
     double cpu_time = cpuTime();