* Reworked timing output and increased some timing sizes.

[ginac.git] / check / times.cpp

diff --git a/check/times.cpp b/check/times.cpp
index 8db2c0c642c4989ad1d7d8a4613677b76fa655a9..93d0e131a75872f143315e1326ed75e9a183b1da 100644 (file)
--- a/check/times.cpp
+++ b/check/times.cpp
@@ -40,11 +40,10 @@
  */
 void randomify_symbol_serials()
 {
  */
 void randomify_symbol_serials()
 {

-       srand((unsigned)time(NULL));
+       srand(time(NULL));

        const int m = rand() % 666;
        for (int s=0; s<m; ++s ) {
        const int m = rand() % 666;
        for (int s=0; s<m; ++s ) {

-               symbol* tmp = new symbol;
-               delete tmp;
+               symbol("dummy");

        }
 }
 
        }
 }
 


@@ -53,6 +52,9 @@ int main()
        randomify_symbol_serials();
 
        unsigned result = 0;
        randomify_symbol_serials();
 
        unsigned result = 0;

+
+       // For all timings:
+       cout << setprecision(2) << showpoint;

        
 #define TIME(which) \
 try { \
        
 #define TIME(which) \
 try { \