* tests on these numbers like is_integer() etc... */
/*
- * GiNaC Copyright (C) 1999-2009 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2014 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
unsigned result = 0;
cout << "checking consistency of numeric types" << flush;
- clog << "---------consistency of numeric types:" << endl;
result += check_numeric1(); cout << '.' << flush;
result += check_numeric2(); cout << '.' << flush;