Skip to content

Commit

Permalink
connection-manager-tests: code style
Browse files Browse the repository at this point in the history
  • Loading branch information
coot committed Mar 14, 2022
1 parent f21334b commit 4a0b181
Showing 1 changed file with 3 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -2168,7 +2168,6 @@ prop_connection_manager_valid_transitions_racy
serverAcc (ArbDataFlow dataFlow)
defaultBearerInfo mns@(MultiNodeScript events attenuationMap) =
exploreSimTrace id sim $ \_ trace ->
-- ppDebug trace $
validate_transitions mns trace
where
sim :: IOSim s ()
Expand Down Expand Up @@ -2361,9 +2360,9 @@ prop_connection_manager_valid_transition_order_racy serverAcc (ArbDataFlow dataF
-- aren't an issue.
--
prop_connection_manager_counters :: Int
-> ArbDataFlow
-> MultiNodeScript Int TestAddr
-> Property
-> ArbDataFlow
-> MultiNodeScript Int TestAddr
-> Property
prop_connection_manager_counters serverAcc (ArbDataFlow dataFlow)
(MultiNodeScript events
attenuationMap) =
Expand Down

0 comments on commit 4a0b181

Please sign in to comment.