Cambridge SMT System
range.gtest.cpp File Reference

Unit testing: getRange, InfiniteRange,IntegerRange, OneRange objects. More...

#include <googletesting.h>
#include "main.custom_assert.hpp"
#include "main.logger.hpp"
#include "range.hpp"
Include dependency graph for range.gtest.cpp:

Go to the source code of this file.

Functions

 TEST (range, sequence_of_integers1)
 Test getRange with 1:3. More...
 
 TEST (range, sequence_of_integers2)
 Test getRange (1:30:50) More...
 
 TEST (range, sequence_of_integers3)
 Test getRange (5,10,15:30:50,52) More...
 
 TEST (range, sequence_of_floats)
 Test getRange with 1:3. More...
 
 TEST (range, floatrange)
 Test NumberRange<float> More...
 
 TEST (range, integerrange)
 Test NumberRange<unsigned> More...
 
 TEST (range, infiniterange)
 Test InfiniteRange. More...
 
 TEST (range, onerange)
 Test OneRange. More...
 
int main (int argc, char **argv)
 main function. If compiled individualy, will kickoff any tests in this file. More...
 

Detailed Description

Unit testing: getRange, InfiniteRange,IntegerRange, OneRange objects.

Date
8-8-2012
Author
Gonzalo Iglesias

Definition in file range.gtest.cpp.

Function Documentation

int main ( int  argc,
char **  argv 
)

main function. If compiled individualy, will kickoff any tests in this file.

Definition at line 135 of file range.gtest.cpp.

TEST ( range  ,
sequence_of_integers1   
)

Test getRange with 1:3.

Definition at line 31 of file range.gtest.cpp.

Here is the call graph for this function:

TEST ( range  ,
sequence_of_integers2   
)

Test getRange (1:30:50)

Definition at line 41 of file range.gtest.cpp.

Here is the call graph for this function:

TEST ( range  ,
sequence_of_integers3   
)

Test getRange (5,10,15:30:50,52)

Definition at line 50 of file range.gtest.cpp.

Here is the call graph for this function:

TEST ( range  ,
sequence_of_floats   
)

Test getRange with 1:3.

Definition at line 62 of file range.gtest.cpp.

Here is the call graph for this function:

TEST ( range  ,
floatrange   
)

Test NumberRange<float>

Definition at line 74 of file range.gtest.cpp.

Here is the call graph for this function:

TEST ( range  ,
integerrange   
)

Test NumberRange<unsigned>

Definition at line 88 of file range.gtest.cpp.

Here is the call graph for this function:

TEST ( range  ,
infiniterange   
)

Test InfiniteRange.

Definition at line 102 of file range.gtest.cpp.

Here is the call graph for this function:

TEST ( range  ,
onerange   
)

Test OneRange.

Definition at line 113 of file range.gtest.cpp.

Here is the call graph for this function: