failpoint.hpp File Reference

#include <atomic>

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace
namespace	Gecode::Support
	Support algorithms and datastructures
namespace	Gecode::Support::FailPoint

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

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