Changeset View

Standalone View

	Show All 26 Lines
	/**			/**
	* Object that stores actions from multiple interleaved scenarios, and data			* Object that stores actions from multiple interleaved scenarios, and data
	* shared across them.			* shared across them.
	*			*
	* The Scenario below is used to fill this.			* The Scenario below is used to fill this.
	*/			*/
	struct Runner {			struct Runner {
	/** The TxRequestTracker being tested. */			/** The TxRequestTracker being tested. */
	TxRequestTracker txrequest;			TxRequestTracker<TxId> txrequest;

	/** List of actions to be executed (in order of increasing timestamp). */			/** List of actions to be executed (in order of increasing timestamp). */
	std::vector<Action> actions;			std::vector<Action> actions;

	/** Which node ids have been assigned already (to prevent reuse). */			/** Which node ids have been assigned already (to prevent reuse). */
	std::set<NodeId> peerset;			std::set<NodeId> peerset;

	/** Which txids have been assigned already (to prevent reuse). */			/** Which txids have been assigned already (to prevent reuse). */
	▲ Show 20 Lines • Show All 723 Lines • Show Last 20 Lines