- changed behaviour of numeric::is_rational() and added numeric::is_cinteger()
[ginac.git] / check / paranoia_check.cpp
index bc66deaf63db4736a8f4f64156c41d3a45efde50..3eb4185c86521d07132541ec1df97f615cc27e1b 100644 (file)
@@ -1,11 +1,33 @@
-// check/paranoia_check.cpp
-
-/* This set of tests checks for some of GiNaC's oopses which showed up during
- * development.  Things were evaluated wrongly and so.  It should not find such
- * a sick behaviour again.  But since we are paranoic and we want to exclude
- * that behaviour for good... */
-
-#include "ginac.h"
+/** @file paranoia_check.cpp
+ *
+ *  This set of tests checks for some of GiNaC's oopses which showed up during
+ *  development.  Things were evaluated wrongly and so.  It should not find such
+ *  a sick behaviour again.  But since we are paranoic and we want to exclude
+ *  that behaviour for good... */
+
+/*
+ *  GiNaC Copyright (C) 1999 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
+ *  the Free Software Foundation; either version 2 of the License, or
+ *  (at your option) any later version.
+ *
+ *  This program is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *  GNU General Public License for more details.
+ *
+ *  You should have received a copy of the GNU General Public License
+ *  along with this program; if not, write to the Free Software
+ *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ */
+
+#include <ginac/ginac.h>
+
+#ifndef NO_GINAC_NAMESPACE
+using namespace GiNaC;
+#endif // ndef NO_GINAC_NAMESPACE
 
 // The very first pair of historic problems had its roots in power.cpp and was
 // finally resolved on April 27th. (Fixing the first on April 23rd actually
@@ -219,7 +241,7 @@ unsigned paranoia_check(void)
     result += paranoia_check7();
     result += paranoia_check8();
 
-    if (! result) {
+    if (!result) {
         cout << " passed ";
         clog << "(no output)" << endl;
     } else {