Minor fixes based on PR comments

tests/mbt/driver/core.go

@@ -123,8 +123,7 @@ func (s *Driver) consumerPower(i int64, chain ChainId) (int64, error) {
 	return v.Power, nil
 }
 
-// consumerTokens returns the number of tokens that the validator with
-// id (ix) i has delegated to it in total on the provider chain
+// providerPower returns the power(=number of bonded tokens) of the i-th validator on the provider.
 func (s *Driver) providerPower(i int64) (int64, error) {
 	v, found := s.providerStakingKeeper().GetValidator(s.ctx(PROVIDER), s.validator(i))
 	if !found {
@@ -181,9 +180,8 @@ func (s *Driver) packetQueue(sender, receiver ChainId) []simibc.Packet {
 	res, ok := outboxPackets[string(sender)]
 	if !ok {
 		return []simibc.Packet{}
-	} else {
-		return res
 	}
+	return res
 }
 
 func (s *Driver) getStateString() string {
@@ -345,7 +343,6 @@ func (s *Driver) endAndBeginBlock(chain ChainId, timeAdvancement time.Duration)
 }
 
 func (s *Driver) runningConsumers() []providertypes.Chain {
-	// consumers that are still consumers on the provider
 	consumersOnProvider := s.providerKeeper().GetAllConsumerChains(s.providerCtx())
 
 	consumersWithIntactChannel := make([]providertypes.Chain, 0)

tests/mbt/driver/model_viewer.go

@@ -85,9 +85,9 @@ func GetSendingTimeForPacket(packetExpr itf.MapExprType) int64 {
 func VscSendTimestamps(curStateExpr itf.MapExprType, consumer string) []int64 {
 	sentVscPackets := ProviderState(curStateExpr)["sentVscPacketsToConsumer"].Value.(itf.MapExprType)[consumer].Value.(itf.ListExprType)
 
-	res := make([]int64, 0)
-	for _, packetExpr := range sentVscPackets {
-		res = append(res, GetSendingTimeForPacket(packetExpr.Value.(itf.MapExprType)))
+	res := make([]int64, len(sentVscPackets))
+	for i, packetExpr := range sentVscPackets {
+		res[i] = GetSendingTimeForPacket(packetExpr.Value.(itf.MapExprType))
 	}
 	return res
 }