Inheritance diagram for HonkRecursionConstraintTestWithoutPredicate< Params >:

Public Types
using	RecursiveFlavor = Params::RecursiveFlavor

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

using	Builder = Base::Builder

using	AcirConstraint = Base::AcirConstraint

using	InvalidWitness = Base::InvalidWitness

using	InvalidWitnessTarget = Base::InvalidWitness::Target

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::TestClass< HonkRecursionConstraintTestingFunctions< Params::RecursiveFlavor, Params::IsRootRollup, Params::N, Params::LayerSizes > >
static std::tuple< bool, bool, std::string >	test_constraints (AcirConstraint &constraint, WitnessVector &witness_values, const InvalidWitnessTarget &invalid_witness_target)
	General purpose testing function. It tests the constraints based on the invalidation target.

static size_t	test_vk_independence ()
	Test vk generation is independent of the witness values supplied.

static std::vector< std::string >	test_tampering ()
	Test all invalid witness targets.