OKlibrary  0.2.1.6
TestSATCompetition.cpp
Go to the documentation of this file.
00001 // Oliver Kullmann, 7.5.2005 (Swansea)
00002 /* Copyright 2005 - 2007 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 
00008 #include <iostream>
00009 
00010 #include <OKlib/TestSystem/TestBaseClass.hpp>
00011 
00012 #include <OKlib/Experimentation/Competition/SingleResult_Testobjects.hpp>
00013 #include <OKlib/Experimentation/Competition/ParsingSingleResult_Testobjects.hpp>
00014 #include <OKlib/Experimentation/Competition/ParsingResultSequences_Testobjects.hpp>
00015 #include <OKlib/Experimentation/Competition/ResultProcessing_Testobjects.hpp>
00016 #include <OKlib/Experimentation/Competition/AnalysisTools_Testobjects.hpp>
00017 #include <OKlib/Experimentation/Competition/Scoring_Testobjects.hpp>
00018 #include <OKlib/Experimentation/Competition/LexicographicalEvaluation_Testobjects.hpp>
00019 
00025 int main() {
00026   return OKlib::TestSystem::TestBase::run_tests_default(std::cerr);
00027 }