Inheritance diagram for HonkRecursionConstraintTestWithPredicate< Params >:

Public Types
using	RecursiveFlavor = Params::RecursiveFlavor

Public Types inherited from acir_format::TestClassWithPredicate< HonkRecursionConstraintTestingFunctions< Params::RecursiveFlavor, Params::IsRootRollup, Params::N, Params::LayerSizes > >
using	Base = Base_

using	Builder = Base::Builder

using	InvalidWitness = Base::InvalidWitness

using	InvalidWitnessTarget = InvalidWitness::Target

using	AcirConstraint = Base::AcirConstraint

Static Public Attributes
static constexpr bool	IsRootRollup = Params::IsRootRollup

Static Protected Member Functions
static void	SetUpTestSuite ()

Additional Inherited Members
Static Public Member Functions inherited from acir_format::TestClassWithPredicate< HonkRecursionConstraintTestingFunctions< Params::RecursiveFlavor, Params::IsRootRollup, Params::N, Params::LayerSizes > >
static std::pair< AcirConstraint, WitnessVector >	update_witness_based_on_predicate (const AcirConstraint &constraint, const WitnessVector &witness_values, const Predicate< InvalidWitnessTarget > &mode)
	Update the constraint and the witness based on the predicate.

static std::tuple< bool, bool, std::string >	test_constraints (AcirConstraint &constraint, WitnessVector &witness_values, const PredicateTestCase &test_case, const InvalidWitnessTarget &invalid_witness_target)
	General purpose testing function. It tests the contraints based on the predicate and invalidation target.

static std::vector< size_t >	test_vk_independence ()
	Test vk generation is independent of the witness values supplied.

static void	test_constant_true (InvalidWitnessTarget default_invalid_witness_target)
	Test all cases in which the predicate is a constant holding the value true.

static void	test_witness_true (InvalidWitnessTarget default_invalid_witness_target)
	Test all cases in which the predicate is a witness holding the value true.

static void	test_witness_false ()
	Test all invalid witness cases for the witness false predicate case.

static void	test_witness_false_slow ()
	Test all invalid witness cases for the witness false predicate case (slow comprehensive version).

static std::vector< std::string >	test_invalid_witnesses ()
	Test all invalid witness targets across all predicate cases (comprehensive matrix test).