X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?a=blobdiff_plain;ds=sidebyside;f=check%2Fcheck_numeric.cpp;h=ec878be2ec9b2ea9d0792f5e9aa579d2823694f2;hb=80b1c3e0ee0e465d56e5c76bef4e52ef2dbc5197;hp=34c183526777856b6af9cb543fc8a20a0d7a8e6c;hpb=e7cc6a764ff67b5885d6633385fac23ccc1dc9a7;p=ginac.git diff --git a/check/check_numeric.cpp b/check/check_numeric.cpp index 34c18352..ec878be2 100644 --- a/check/check_numeric.cpp +++ b/check/check_numeric.cpp @@ -4,7 +4,7 @@ * tests on these numbers like is_integer() etc... */ /* - * GiNaC Copyright (C) 1999-2002 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2008 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 @@ -18,14 +18,18 @@ * * 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 + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA */ -#include "checks.h" +#include +#include // rand() +#include "ginac.h" +using namespace std; +using namespace GiNaC; /* Simple and maybe somewhat pointless consistency tests of assorted tests and * conversions. */ -static unsigned check_numeric1(void) +static unsigned check_numeric1() { unsigned result = 0; bool errorflag = false; @@ -53,7 +57,7 @@ static unsigned check_numeric1(void) return result; } -static unsigned check_numeric2(void) +static unsigned check_numeric2() { unsigned result = 0; bool errorflag = false; @@ -105,7 +109,7 @@ static unsigned check_numeric2(void) return result; } -unsigned check_numeric(void) +unsigned check_numeric() { unsigned result = 0; @@ -115,12 +119,10 @@ unsigned check_numeric(void) result += check_numeric1(); cout << '.' << flush; result += check_numeric2(); cout << '.' << flush; - if (!result) { - cout << " passed " << endl; - clog << "(no output)" << endl; - } else { - cout << " failed " << endl; - } - return result; } + +int main(int argc, char** argv) +{ + return check_numeric(); +}