tpl_ca_hashlife_test.cc File Reference

Phase 10 tests for the Hashlife engine (tpl_ca_hashlife.H). More...

#include <cstdint>
#include <set>
#include <sstream>
#include <string>
#include <utility>
#include <gtest/gtest.h>
#include <tpl_ca_hashlife.H>

Include dependency graph for tpl_ca_hashlife_test.cc:

Go to the source code of this file.

Classes
struct	Rule_Sample
class	CAHashlifeBruteForceMatch

Functions
	TEST (CAHashlife, EmptyUniverseHasZeroPopulation)
	TEST (CAHashlife, SetAndGetSingleCell)
	TEST (CAHashlife, SetMultipleCellsKeepsExactSet)
	TEST (CAHashlife, ClearResetsUniverse)
	TEST (CAHashlife, ReadOutsideRootIsDead)
	TEST (CAHashlife, BlockIsAStillLife)
	TEST (CAHashlife, BlinkerIsPeriod2)
	TEST (CAHashlife, GliderTravelsByOneCellEveryFourSteps)
	TEST (CAHashlife, GliderMatchesBruteForceForManySteps)
	TEST_P (CAHashlifeBruteForceMatch, MatchesUnboundedReference)
	INSTANTIATE_TEST_SUITE_P (CAHashlifeBruteForce, CAHashlifeBruteForceMatch, ::testing::Values(Rule_Sample{ "Conway_blinker_128", Conway_Life, blinker(), 128u }, Rule_Sample{ "Conway_block_128", Conway_Life, block(), 128u }, Rule_Sample{ "Conway_glider_256", Conway_Life, glider(), 256u }, Rule_Sample{ "HighLife_glider_128", HighLife, glider(), 128u }, Rule_Sample{ "Seeds_blinker_32", Seeds, blinker(), 32u }, Rule_Sample{ "Day_Night_block_64", Day_And_Night, block(), 64u }), [](const ::testing::TestParamInfo< Rule_Sample > &i) { return std::string(i.param.name);})
	TEST (CAHashlife, AdvanceReturnsAtLeast2ToTheK)
	TEST (CAHashlife, RunAtLeastReachesRequestedGeneration)
	TEST (CAHashlife, AdvanceTooLargeKThrows)
	TEST (CAHashlife, ConstructorRejectsTinyCacheCapacity)
	TEST (CAHashlife, RleRoundTripPreservesGlider)
	TEST (CAHashlife, RleRoundTripPreservesGosperGun)
	TEST (CAHashlife, RleHeaderEncodesRule)
	TEST (CAHashlife, RleParseAcceptsStandardConwayDialect)
	TEST (CAHashlife, FormatRuleIsRoundTripStable)
	TEST (CAHashlife, StatsTrackCanonicalNodes)
	TEST (CAHashlife, ChangingRuleInvalidatesResultCache)
	TEST (CAHashlife, SmallCacheCapacityForcesPeriodicClears)
	TEST (CAHashlife, GosperGunMatchesReferenceAt256Steps)
	TEST (CAHashlife, GosperGunPopulationGrowsLinearly)
	TEST (CAHashlife, RunZeroIsNoOp)
	TEST (CAHashlife, LargeCoordinatesAreSupported)
	TEST (CAHashlife, RepeatedSetAliveOnSameCellIsIdempotent)
	TEST (CAHashlife, DeepRunHashlifeStaysExactAgainstBruteForce)

Detailed Description

Phase 10 tests for the Hashlife engine (tpl_ca_hashlife.H).

Coverage:

1. Cell-level API: set / clear / read / bbox / population.
2. Conway's Game of Life small canonical patterns:
   • block (still life), blinker (period 2), glider (moving period 4).
3. Cross-check against an unbounded brute-force reference for several rules and step counts (powers of 2 up to 1024).
4. Other outer-totalistic rules: HighLife, Day_And_Night, Seeds.
5. RLE round-trip on canonical patterns.
6. Cache invalidation when the rule or universe changes.
7. Edge cases: empty universe, large coordinates, repeated set/clear.

Definition in file tpl_ca_hashlife_test.cc.

Function Documentation

INSTANTIATE_TEST_SUITE_P()

INSTANTIATE_TEST_SUITE_P	(	CAHashlifeBruteForce	,
		CAHashlifeBruteForceMatch	,
		::testing::Values(Rule_Sample{ "Conway_blinker_128", Conway_Life, blinker(), 128u }, Rule_Sample{ "Conway_block_128", Conway_Life, block(), 128u }, Rule_Sample{ "Conway_glider_256", Conway_Life, glider(), 256u }, Rule_Sample{ "HighLife_glider_128", HighLife, glider(), 128u }, Rule_Sample{ "Seeds_blinker_32", Seeds, blinker(), 32u }, Rule_Sample{ "Day_Night_block_64", Day_And_Night, block(), 64u })	,
		[] (const ::testing::TestParamInfo< Rule_Sample > &i) { return std::string(i.param.name);}
	)

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::CA::Conway_Life.

TEST() [1/27]

TEST	(	CAHashlife	,
		AdvanceReturnsAtLeast2ToTheK
	)

Definition at line 365 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::advance(), Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::generation(), and k.

TEST() [2/27]

TEST	(	CAHashlife	,
		AdvanceTooLargeKThrows
	)

Definition at line 388 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::advance(), and Aleph::blossom_maximum_cardinality_matching().

TEST() [3/27]

TEST	(	CAHashlife	,
		BlinkerIsPeriod2
	)

Definition at line 267 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::advance(), Aleph::blossom_maximum_cardinality_matching(), and Aleph::CA::Hashlife_Engine::population().

TEST() [4/27]

TEST	(	CAHashlife	,
		BlockIsAStillLife
	)

Definition at line 254 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::advance(), Aleph::blossom_maximum_cardinality_matching(), and k.

TEST() [5/27]

TEST	(	CAHashlife	,
		ChangingRuleInvalidatesResultCache
	)

Definition at line 499 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::advance(), Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Conway_Life, Aleph::CA::HighLife, Aleph::CA::Hashlife_Engine::Stats::result_cache_clears, Aleph::CA::Hashlife_Engine::set_rule(), and Aleph::CA::Hashlife_Engine::stats().

TEST() [6/27]

TEST	(	CAHashlife	,
		ClearResetsUniverse
	)

Definition at line 227 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::advance(), Aleph::CA::Hashlife_Engine::bbox(), Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::clear(), Aleph::CA::Hashlife_Engine::generation(), Aleph::CA::Hashlife_Engine::BBox::is_empty(), and Aleph::CA::Hashlife_Engine::population().

TEST() [7/27]

TEST	(	CAHashlife	,
		ConstructorRejectsTinyCacheCapacity
	)

Definition at line 395 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::CA::Conway_Life.

TEST() [8/27]

TEST	(	CAHashlife	,
		DeepRunHashlifeStaysExactAgainstBruteForce
	)

Definition at line 590 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Conway_Life, Aleph::CA::Hashlife_Engine::population(), Aleph::CA::Hashlife_Engine::run(), and seed.

TEST() [9/27]

TEST	(	CAHashlife	,
		EmptyUniverseHasZeroPopulation
	)

Definition at line 182 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::bbox(), Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::generation(), Aleph::CA::Hashlife_Engine::BBox::is_empty(), and Aleph::CA::Hashlife_Engine::population().

TEST() [10/27]

TEST	(	CAHashlife	,
		FormatRuleIsRoundTripStable
	)

Definition at line 473 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Conway_Life, Aleph::CA::Day_And_Night, Aleph::CA::format_rule(), Aleph::CA::HighLife, Aleph::CA::parse_rule(), r, and Aleph::CA::Seeds.

TEST() [11/27]

TEST	(	CAHashlife	,
		GliderMatchesBruteForceForManySteps
	)

Definition at line 303 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::advance(), Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Conway_Life, and k.

TEST() [12/27]

TEST	(	CAHashlife	,
		GliderTravelsByOneCellEveryFourSteps
	)

Definition at line 287 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::population(), and Aleph::CA::Hashlife_Engine::run().

TEST() [13/27]

TEST	(	CAHashlife	,
		GosperGunMatchesReferenceAt256Steps
	)

Definition at line 526 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Conway_Life, and Aleph::CA::Hashlife_Engine::run().

TEST() [14/27]

TEST	(	CAHashlife	,
		GosperGunPopulationGrowsLinearly
	)

Definition at line 536 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::population(), and Aleph::CA::Hashlife_Engine::run().

TEST() [15/27]

TEST	(	CAHashlife	,
		LargeCoordinatesAreSupported
	)

Definition at line 568 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::alive_at(), Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::population(), Aleph::CA::Hashlife_Engine::run(), and Aleph::CA::Hashlife_Engine::set_alive().

TEST() [16/27]

TEST	(	CAHashlife	,
		ReadOutsideRootIsDead
	)

Definition at line 241 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::alive_at(), Aleph::blossom_maximum_cardinality_matching(), and Aleph::CA::Hashlife_Engine::set_alive().

TEST() [17/27]

TEST	(	CAHashlife	,
		RepeatedSetAliveOnSameCellIsIdempotent
	)

Definition at line 579 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::population(), and Aleph::CA::Hashlife_Engine::set_alive().

TEST() [18/27]

TEST	(	CAHashlife	,
		RleHeaderEncodesRule
	)

Definition at line 449 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::HighLife, and Aleph::CA::Hashlife_Engine::save_rle_string().

TEST() [19/27]

TEST	(	CAHashlife	,
		RleParseAcceptsStandardConwayDialect
	)

Definition at line 458 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::load_rle_string(), Aleph::CA::Hashlife_Engine::population(), and Aleph::CA::Hashlife_Engine::run().

TEST() [20/27]

TEST	(	CAHashlife	,
		RleRoundTripPreservesGlider
	)

Definition at line 405 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::load_rle_string(), out, Aleph::CA::Hashlife_Engine::population(), and Aleph::CA::Hashlife_Engine::save_rle_string().

TEST() [21/27]

TEST	(	CAHashlife	,
		RleRoundTripPreservesGosperGun
	)

Definition at line 436 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::load_rle_string(), Aleph::CA::Hashlife_Engine::population(), Aleph::CA::Hashlife_Engine::save_rle_string(), and Aleph::size().

TEST() [22/27]

TEST	(	CAHashlife	,
		RunAtLeastReachesRequestedGeneration
	)

Definition at line 379 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::generation(), and Aleph::CA::Hashlife_Engine::run().

TEST() [23/27]

TEST	(	CAHashlife	,
		RunZeroIsNoOp
	)

Definition at line 558 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::generation(), and Aleph::CA::Hashlife_Engine::run().

TEST() [24/27]

TEST	(	CAHashlife	,
		SetAndGetSingleCell
	)

Definition at line 190 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::alive_at(), Aleph::CA::Hashlife_Engine::bbox(), Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::population(), and Aleph::CA::Hashlife_Engine::set_alive().

TEST() [25/27]

TEST	(	CAHashlife	,
		SetMultipleCellsKeepsExactSet
	)

Definition at line 211 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::bbox(), Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Hashlife_Engine::population(), and Aleph::CA::Hashlife_Engine::set_alive().

TEST() [26/27]

TEST	(	CAHashlife	,
		SmallCacheCapacityForcesPeriodicClears
	)

Definition at line 511 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::CA::Conway_Life, Aleph::CA::Hashlife_Engine::Stats::result_cache_clears, Aleph::CA::Hashlife_Engine::run(), and Aleph::CA::Hashlife_Engine::stats().

TEST() [27/27]

TEST	(	CAHashlife	,
		StatsTrackCanonicalNodes
	)

Definition at line 489 of file tpl_ca_hashlife_test.cc.

References Aleph::CA::Hashlife_Engine::advance(), Aleph::blossom_maximum_cardinality_matching(), and Aleph::CA::Hashlife_Engine::stats().

TEST_P()

TEST_P	(	CAHashlifeBruteForceMatch	,
		MatchesUnboundedReference
	)

Definition at line 335 of file tpl_ca_hashlife_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::CA::Hashlife_Engine::run().