@spec mempool_args_added_transaction(Anoma.Node.Examples.ENode.t()) ::
  Anoma.Node.Examples.ENode.t()

I start up a new node, or I assume that the given node is empty.

I compute the startup arguments for this node and verify that they are the default arguments.

@spec mempool_args_fresh_node(Anoma.Node.Examples.ENode.t()) ::
  Anoma.Node.Examples.ENode.t()

I start up a new node, or I assume that the given node is empty.

I compute the startup arguments for this node and verify that they are the default arguments.

@spec mempool_args_non_block_transaction(Anoma.Node.Examples.ENode.t()) ::
  {Anoma.Node.Examples.ENode.t(), Anoma.Node.Examples.ETransaction.t()}

I start up a new node, or assume the given node is empty. I add a transaction to the mempool. The startup arguments for this mempool should contain the transaction I added.

@spec mempool_args_non_block_transactions(Anoma.Node.Examples.ENode.t()) ::
  Anoma.Node.Examples.ENode.t()

I start up a new node, or assume the given node is empty. I add a bunch of transactions to the mempool. The startup arguments for this mempool should contain the transactions I added.

@spec mempool_args_non_fresh_node(Anoma.Node.Examples.ENode.t()) ::
  Anoma.Node.Examples.ENode.t()

I start up a new node, or assume the given node is empty. I add ten transactions to the mempool and complete all of them so that they are in a block. When I compute the startup arguments for this node's mempool, I expect to have the default arguments.

I start up a new node, or assume the given node is empty. I add a number of transactions to the mempool but do not let them form into a block.

When a block is created, the Logging engine does the following:

• It removes the transactions from the events table.
• It removes the consensus for these transactions from the events table
• It writes the round into the events table.

When the node stops before this ceremony has happened, the following is true.

• There is a block in the blocks table that holds a list of transactions
• That same list of transactions is still present in the events table
• The round of the events table is outdated.

The startup arguments do not take into account transactions and consensi that are in an actual block, these are dropped. This test asserts that this is the case.

It does so by doing the following.

If a block event is fired, the Logging engine will remove these values from the database. We make sure that this not happen by mocking this behaviour.

@spec mempool_todo_consensus(Anoma.Node.Examples.ENode.t()) ::
  {Anoma.Node.Examples.ENode.t(), Anoma.Node.Examples.ETransaction.t()}

I want to create a mempool that has a consensus in its state, but for which no block was created.

To achieve this, I have to stop a block from being created. To do this, I force unsubscribe the mempool from execution events. This ensures that no commits happen, and no block event is generated.

@spec new_node_has_tables(Anoma.Node.Examples.ENode.t()) ::
  Anoma.Node.Examples.ENode.t()

I check whether a fresh node has all its tables created.

@spec no_node_no_tables() :: :ok

I assert that a node that does not exist does not have any tables present.

@spec ordering_args_fresh_node(Anoma.Node.Examples.ENode.t()) ::
  Anoma.Node.Examples.ENode.t()

I check whether the ordering arguments for a fresh node are the default arguments.

@spec ordering_args_non_fresh_node(Anoma.Node.Examples.ENode.t()) ::
  Anoma.Node.Examples.ENode.t()

I check whether the ordering arguments for a fresh node are the default arguments.

@spec partial_state_if_table_deleted(Anoma.Node.Examples.ENode.t()) ::
  Anoma.Node.Examples.ENode.t()

I check whether a node with some missing tables is marked as partial.

@spec storage_args_fresh_node(Anoma.Node.Examples.ENode.t()) ::
  Anoma.Node.Examples.ENode.t()

I check whether the storage arguments for a fresh node are the default arguments.

@spec storage_args_non_block_transaction(Anoma.Node.Examples.ENode.t()) ::
  Anoma.Node.Examples.ENode.t()

I check whether the storage arguments are default when a transaction is added but not executed.

@spec storage_args_non_fresh_node(Anoma.Node.Examples.ENode.t()) ::
  Anoma.Node.Examples.ENode.t()

I check whether the storage arguments for a fresh node are the default arguments.