Changeset 56abc3 in git

Timestamp:

Jun 9, 2010, 11:33:55 AM (14 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

72f476ba29bee4c07a8d6d6dba881205187ca8ae

Parents:

7d4350e11fdb85544b4c200f11181d1b707765a1

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2010-06-09 11:33:55+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 11:55:05+01:00

Message:

More tests...

File:

• coeffs/test.cc (modified) (3 diffs)

coeffs/test.cc

@@ -13 +13 @@
 
 
-int main()
+#include <iostream>
+using namespace std;
+
+
+bool Test(const coeffs r)
 {
-  const n_coeffType type = nRegister( n_Q, nlInitChar); assume( type == n_Q );
-//  const n_coeffType type = nRegister( n_long_C, ngcInitChar); assume( type == n_long_C );
-//  const n_coeffType type = nRegister( n_R, nrInitChar); assume( type == n_R );
-  
+  number a = r->cfInit(666, r); 
+  number b = r->cfAdd( a, a, r);
+
+  StringSetS("a: ");r->cfWrite( a, r );PrintS(StringAppend("\n"));
+  StringSetS("b: "); r->cfWrite( b, r );PrintS(StringAppend("\n"));
+
+  r->cfDelete( &a, r);
+  r->cfDelete( &b, r);
+
+  return false;
+}
+
+
+
+bool Test(const n_coeffType type)
+{
+
+  cout << "Testing coeffs: [" << type << "]: " << endl;
 
   const coeffs r = nInitChar( type, NULL );
 
   assume( r != NULL );
-  
+
   nSetChar( r );
 
@@ -32 +50 @@
   assume( r->cfAdd != NULL );
   assume( r->cfDelete != NULL );
-  
+
 
   if( type == n_Q )
@@ -59 +77 @@
   }
 
-
-  
-  number a = r->cfInit(666, r); 
-  number b = r->cfAdd( a, a, r);
-
-  StringSetS("a: ");r->cfWrite( a, r );PrintS(StringAppend("\n"));
-  StringSetS("b: "); r->cfWrite( b, r );PrintS(StringAppend("\n"));
-  
-  r->cfDelete( &a, r);
-  r->cfDelete( &b, r);
+  bool ret = Test( r );
 
   nKillChar( r );
 
-  return 0;
+  return ret;
 }
+
+
+
+
+int main()
+{
+  int c = 0;
+  
+  n_coeffType type;
+  
+  type = nRegister( n_Q, nlInitChar); assume( type == n_Q );
+
+  if( Test(type) )
+    c ++;
+
+  type = nRegister( n_long_C, ngcInitChar); assume( type == n_long_C );
+  if( Test(type) )
+    c ++;
+  
+  type = nRegister( n_R, nrInitChar); assume( type == n_R );
+  if( Test(type) )
+    c ++;
+
+  return c;
+
+}