tests.h

Go to the documentation of this file.

/*
Copyright (C) 2013, 2014, 2015, 2016, 2017
Rafael Guglielmetti, rafael.guglielmetti@unifr.ch
*/
 
/*
This file is part of CoxIter.
 
CoxIter 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 3 of the
License, or (at your option) any later version.
 
CoxIter 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 CoxIter. If not, see <http://www.gnu.org/licenses/>.
*/
 
#ifndef __TESTS_H__
#define __TESTS_H__
 
#include "../arithmeticity.h"
#include "../coxiter.h"
#include "../growthrate.h"
#include "../lib/numbers/mpz_rational.h"
#include "../lib/regexp.h"
#include "../signature.h"
 
#include <chrono>
#include <fstream>
#include <iomanip>
#include <iostream>
#include <map>
#include <omp.h>
#include <string>
#include <vector>
 
using namespace std;
 
struct Test {
  string filename; 
 
  bool testEuler;        
  MPZ_rational brResult; 
 
  bool testFVector;             
  vector<unsigned int> fVector; 
 
  bool testCompacity;     
  bool isCompact;         
  bool isFiniteVolume;    
  bool testArithmeticity; 
  bool isArithmetic;      
 
  bool testGrowthSeries;
  vector<mpz_class>
      growthSeries_polynomialDenominator; 
  vector<unsigned int>
      growthSeries_cyclotomicNumerator; 
  string growthRate;                    
};
 
class Tests {
private:
  string error;         
  string inputFilename; 
  vector<Test> tests;   
 
  ofstream of; 
 
  map<string, array<unsigned int, 2>>
      testsSucceded; 
  map<string, string> testDescription; 
  unsigned int testsUnknownErrors;     
 
public:
  Tests();
 
  bool readGraphsFile(string inputFilename);
 
  bool runTests();
 
  string get_error() const;
  vector<Test> get_tests() const;
  unsigned int get_testsCount() const;
 
private:
  bool runTests_computations(const unsigned int &testIndex, CoxIter *ci);
  void runTests_arithmeticity(const unsigned int &testIndex, CoxIter *ci);
  void runTests_cocompactness_cofiniteness(const unsigned int &testIndex,
                                           CoxIter *ci);
  void runTests_growth(const unsigned int &testIndex, CoxIter *ci);
  void runTests_signature(const unsigned int &testIndex, CoxIter *ci,
                          const unsigned int &dim);
  void runTests_euler(const unsigned int &testIndex, CoxIter *ci);
  void runTests_fVector(const unsigned int &testIndex, CoxIter *ci);
 
  void runTestsError(const unsigned int &testIndex, const string &test,
                     const string &expected, const string &computed);
 
  void runTests_init();
  void runTests_displayInfo();
 
  string strIntToString(const int &i); 
};
 
#endif