Skip to content

packages.valory.connections.abci.tests.test_abci_fuzz

Test random initializations of ABCI Message content

create_tender_type_tree

def create_tender_type_tree(aea_type_tree: Node,
                            tender_type_tree: Node) -> Node

Create type tree with Tendermint primitives (as string)

init_type_tree_hypotheses

def init_type_tree_hypotheses(type_tree: Node) -> Node

Initialize the hypothesis strategies

Arguments:

  • type_tree: mapping from message / field name to type.

Returns:

mapping from message / field name to initialized primitive.

create_aea_hypotheses

def create_aea_hypotheses() -> Any

Create hypotheses for ABCI Messages

init_abci_messages

def init_abci_messages(type_tree: Node, init_tree: Node) -> Node

Create ABCI messages for AEA-native ABCI spec

list_to_tuple

def list_to_tuple(node: Node) -> Node

Expecting tuples instead of lists

make_aea_test_method

def make_aea_test_method(message_key: str, strategy: Node) -> Callable

Dynamically create AEA test

TestAeaHypotheses Objects

class TestAeaHypotheses()

Test AEA hypotheses

create_tendermint_hypotheses

def create_tendermint_hypotheses() -> Node

Create Tendermint hypotheses

make_tendermint_test_method

def make_tendermint_test_method(message_key: str, strategy: Node) -> Callable

Dynamically create Tendermint test

TestTendermintHypotheses Objects

class TestTendermintHypotheses()

Test Tendermint hypotheses