| 
									
										
										
										
											2011-01-28 18:48:32 +00:00
										 |  |  | /*
 | 
					
						
							|  |  |  |  *  Created by Phil on 28/01/2011. | 
					
						
							|  |  |  |  *  Copyright 2011 Two Blue Cubes Ltd. All rights reserved. | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  *  Distributed under the Boost Software License, Version 1.0. (See accompanying | 
					
						
							|  |  |  |  *  file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
 | 
					
						
							|  |  |  |  */ | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-07-20 18:43:48 +01:00
										 |  |  | // This define means we have to prefix all the CATCH macros with CATCH_
 | 
					
						
							|  |  |  | // We're using it here to test it out
 | 
					
						
							|  |  |  | #define CATCH_CONFIG_PREFIX_ALL
 | 
					
						
							| 
									
										
										
										
											2011-04-26 08:32:40 +01:00
										 |  |  | #include "catch.hpp"
 | 
					
						
							| 
									
										
										
										
											2011-01-28 18:48:32 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-05-09 08:17:51 +01:00
										 |  |  | inline int multiply( int a, int b ) | 
					
						
							| 
									
										
										
										
											2011-01-28 18:48:32 +00:00
										 |  |  | { | 
					
						
							|  |  |  |     return a*b; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-07-20 18:43:48 +01:00
										 |  |  | CATCH_TEST_CASE( "./succeeding/generators/1", "Generators over two ranges" ) | 
					
						
							| 
									
										
										
										
											2011-01-28 18:48:32 +00:00
										 |  |  | { | 
					
						
							|  |  |  |     using namespace Catch::Generators; | 
					
						
							|  |  |  |      | 
					
						
							| 
									
										
										
										
											2012-07-20 18:43:48 +01:00
										 |  |  |     int i = CATCH_GENERATE( between( 1, 5 ).then( values( 15, 20, 21 ).then( 36 ) ) ); | 
					
						
							|  |  |  |     int j = CATCH_GENERATE( between( 100, 107 ) ); | 
					
						
							| 
									
										
										
										
											2011-01-28 18:48:32 +00:00
										 |  |  |      | 
					
						
							| 
									
										
										
										
											2012-07-20 18:43:48 +01:00
										 |  |  |     CATCH_REQUIRE( multiply( i, 2 ) == i*2 ); | 
					
						
							|  |  |  |     CATCH_REQUIRE( multiply( j, 2 ) == j*2 ); | 
					
						
							| 
									
										
										
										
											2011-01-28 18:48:32 +00:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2013-01-13 21:51:44 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | struct IntPair { int first, second; }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | CATCH_TEST_CASE( "./succeeding/generators/2", "Generator over a range of pairs" ) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     using namespace Catch::Generators; | 
					
						
							|  |  |  |   | 
					
						
							|  |  |  |     IntPair p[] = { { 0, 1 }, { 2, 3 } }; | 
					
						
							|  |  |  |      | 
					
						
							|  |  |  |     IntPair* i = CATCH_GENERATE( between( p, &p[1] ) ); | 
					
						
							|  |  |  |      | 
					
						
							|  |  |  |     CATCH_REQUIRE( i->first == i->second-1 ); | 
					
						
							|  |  |  |      | 
					
						
							|  |  |  | } |