Fix ITF structs

informalsystems · Nov 30, 2023 · f32fe68 · f32fe68
1 parent c560a17
commit f32fe68
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/Code/itf/src/votekeeper.rs b/Code/itf/src/votekeeper.rs
@@ -41,7 +41,7 @@ pub struct RoundVotes {
     pub round: Round,
     pub prevotes: VoteCount,
     pub precommits: VoteCount,
-    pub emitted_events: HashSet<ExecutorEvent>,
+    pub emitted_outputs: HashSet<VoteKeeperOutput>,
     #[serde(with = "As::<HashMap<Same, Integer>>")]
     pub votes_addresses_weights: HashMap<Address, Weight>,
 }
@@ -57,7 +57,7 @@ pub struct VoteCount {
 }
 
 #[derive(Clone, Debug, PartialEq, Eq, Deserialize, Hash)]
-pub struct ExecutorEvent {
+pub struct VoteKeeperOutput {
     #[serde(with = "As::<Integer>")]
     pub round: Round,
     pub name: String,
@@ -69,7 +69,7 @@ pub struct State {
     #[serde(rename = "voteBookkeeperTest::voteBookkeeperSM::bookkeeper")]
     pub bookkeeper: Bookkeeper,
     #[serde(rename = "voteBookkeeperTest::voteBookkeeperSM::lastEmitted")]
-    pub last_emitted: ExecutorEvent,
+    pub last_emitted: VoteKeeperOutput,
     #[serde(rename = "voteBookkeeperTest::voteBookkeeperSM::weightedVote")]
     #[serde(with = "As::<(Same, Integer, Integer)>")]
     pub weighted_vote: (Vote, Weight, Round),

diff --git a/Code/itf/tests/votekeeper/runner.rs b/Code/itf/tests/votekeeper/runner.rs
@@ -123,7 +123,7 @@ impl ItfRunner for VoteKeeperRunner {
 
             let actual_round = actual_state.per_round().get(&Round::new(round)).unwrap();
 
-            let expected_events = &expected_round.emitted_events;
+            let expected_events = &expected_round.emitted_outputs;
             let actual_events = actual_round.emitted_msgs();
 
             assert_eq!(