Gecode::Support::FailPoint Namespace Reference

Enumerations
enum class	Phase {   Disabled , Heap , PropagatorCopy , BrancherCopy ,   AdvisorCopy , DerivedSpaceCopy , LocalObjectCopy , SpaceDisposeNoticeArray ,   SpaceDisposalArray , IntSet , MiniModel }
	Named phase for deterministic test failure injection. More...

Functions
void	reset (void)
	Reset all failpoint state.
void	fail_after (Phase p, unsigned long long n)
	Fail after n successful checks for phase p.
void	check (Phase p)
	Check failpoint for phase p.
unsigned long long	count (void)
	Number of checks observed for the configured phase.

Enumeration Type Documentation

Phase

enum class Gecode::Support::FailPoint::Phase

strong

Named phase for deterministic test failure injection.

Enumerator
Disabled
Heap
PropagatorCopy
BrancherCopy
AdvisorCopy
DerivedSpaceCopy
LocalObjectCopy
SpaceDisposeNoticeArray
SpaceDisposalArray
IntSet
MiniModel

Definition at line 49 of file failpoint.hpp.

Function Documentation

reset()

void Gecode::Support::FailPoint::reset

(

void

)

Reset all failpoint state.

fail_after()

void Gecode::Support::FailPoint::fail_after	(	Phase	p,
		unsigned long long	n )

Fail after n successful checks for phase p.

check()

void Gecode::Support::FailPoint::check

(

Phase

p

)

Check failpoint for phase p.

count()

unsigned long long Gecode::Support::FailPoint::count

(

void

)

Number of checks observed for the configured phase.