]> www.ginac.de Git - ginac.git/blobdiff - check/main.cpp
- some indentation fixes
[ginac.git] / check / main.cpp
index 787f92080eae1875c79c0c556d339110ac1bb900..cf363983f2863802cb917d3e907552336bbde0c8 100644 (file)
@@ -1,7 +1,28 @@
-// check/main.cpp
+/** @file main.cpp
+ *
+ *  Main program that calls all individual tests. */
+
+/*
+ *  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 <stdexcept>
 
 #include <stdexcept>
-#include <GiNaC/ginac.h>
+#include <iostream>
+
 #include "check.h"
 
 int main()
 #include "check.h"
 
 int main()
@@ -25,6 +46,7 @@ int main()
         }
     } catch (exception const & e) {
         cout << "error: caught an exception: " << e.what() << endl;
         }
     } catch (exception const & e) {
         cout << "error: caught an exception: " << e.what() << endl;
+        result++;
     }
     
     if (result) {
     }
     
     if (result) {