persistent_treap_test.cc File Reference

Tests for Aleph::PersistentTreapSet and Aleph::PersistentTreapMap. More...

#include <gtest/gtest.h>
#include <tpl_persistent_treap.H>
#include <map>
#include <memory>
#include <random>
#include <set>
#include <stdexcept>
#include <string>
#include <vector>

Include dependency graph for persistent_treap_test.cc:

Go to the source code of this file.

Functions
	TEST (PersistentTreapSet, InsertEraseAndVersionsAreIndependent)
	TEST (PersistentTreapSet, DuplicateInsertAndMissingEraseShareLogicalVersion)
	TEST (PersistentTreapSet, KeysAreSorted)
	TEST (PersistentTreapSet, SplitAndJoin)
	TEST (PersistentTreapSet, JoinRejectsOverlappingRanges)
	TEST (PersistentTreapSet, JoinRejectsRightTreeOrderedByIncompatibleComparatorState)
	TEST (PersistentTreapSet, RandomizedTraceMatchesStdSetAndKeepsOldVersions)
	TEST (PersistentTreapMap, InsertAssignEraseAndVersionsAreIndependent)
	TEST (PersistentTreapMap, DuplicateInsertDoesNotOverwrite)
	TEST (PersistentTreapMap, SplitJoinAndItems)
	TEST (PersistentTreapMap, JoinRejectsRightTreeOrderedByIncompatibleComparatorState)
	TEST (PersistentTreapMap, SupportsMoveOnlyMappedValues)
	TEST (PersistentTreapMap, RandomizedTraceMatchesStdMapAndKeepsOldVersions)

Detailed Description

Tests for Aleph::PersistentTreapSet and Aleph::PersistentTreapMap.

Definition in file persistent_treap_test.cc.

Function Documentation

TEST() [1/13]

TEST	(	PersistentTreapMap	,
		DuplicateInsertDoesNotOverwrite
	)

Definition at line 233 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching().

TEST() [2/13]

TEST	(	PersistentTreapMap	,
		InsertAssignEraseAndVersionsAreIndependent
	)

Definition at line 205 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::PersistentTreapMap< Key, T, Compare >::erase(), Aleph::PersistentTreapMap< Key, T, Compare >::insert(), Aleph::PersistentTreapMap< Key, T, Compare >::insert_or_assign(), and Aleph::PersistentTreapMap< Key, T, Compare >::verify().

TEST() [3/13]

TEST	(	PersistentTreapMap	,
		JoinRejectsRightTreeOrderedByIncompatibleComparatorState
	)

Definition at line 266 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::PersistentTreapMap< Key, T, Compare >::insert().

TEST() [4/13]

TEST	(	PersistentTreapMap	,
		RandomizedTraceMatchesStdMapAndKeepsOldVersions
	)

Definition at line 299 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::find(), k, rng, Aleph::size(), and value.

TEST() [5/13]

TEST	(	PersistentTreapMap	,
		SplitJoinAndItems
	)

Definition at line 245 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::PersistentTreapMap< Key, T, Compare >::insert(), Aleph::PersistentTreapMap< Key, T, Compare >::join(), Aleph::PersistentTreapMap< Key, T, Compare >::split(), and Aleph::to_vector().

TEST() [6/13]

TEST	(	PersistentTreapMap	,
		SupportsMoveOnlyMappedValues
	)

Definition at line 281 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::PersistentTreapMap< Key, T, Compare >::insert(), and Aleph::PersistentTreapMap< Key, T, Compare >::insert_or_assign().

TEST() [7/13]

TEST	(	PersistentTreapSet	,
		DuplicateInsertAndMissingEraseShareLogicalVersion
	)

Definition at line 101 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::PersistentTreapSet< Key, Compare >::erase(), and Aleph::PersistentTreapSet< Key, Compare >::insert().

TEST() [8/13]

TEST	(	PersistentTreapSet	,
		InsertEraseAndVersionsAreIndependent
	)

Definition at line 72 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::PersistentTreapSet< Key, Compare >::contains(), Aleph::PersistentTreapSet< Key, Compare >::erase(), Aleph::PersistentTreapSet< Key, Compare >::insert(), Aleph::PersistentTreapSet< Key, Compare >::is_empty(), and Aleph::PersistentTreapSet< Key, Compare >::verify().

TEST() [9/13]

TEST	(	PersistentTreapSet	,
		JoinRejectsOverlappingRanges
	)

Definition at line 142 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching().

TEST() [10/13]

TEST	(	PersistentTreapSet	,
		JoinRejectsRightTreeOrderedByIncompatibleComparatorState
	)

Definition at line 150 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::PersistentTreapSet< Key, Compare >::insert().

TEST() [11/13]

TEST	(	PersistentTreapSet	,
		KeysAreSorted
	)

Definition at line 115 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::PersistentTreapSet< Key, Compare >::insert(), Aleph::PersistentTreapSet< Key, Compare >::keys(), Aleph::to_vector(), and Aleph::PersistentTreapSet< Key, Compare >::verify().

TEST() [12/13]

TEST	(	PersistentTreapSet	,
		RandomizedTraceMatchesStdSetAndKeepsOldVersions
	)

Definition at line 163 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), keys, rng, and Aleph::to_vector().

TEST() [13/13]

TEST	(	PersistentTreapSet	,
		SplitAndJoin
	)

Definition at line 125 of file persistent_treap_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::PersistentTreapSet< Key, Compare >::insert(), Aleph::PersistentTreapSet< Key, Compare >::split(), and Aleph::to_vector().