Make the Left and Right button behave the same way
This commit is contained in:
parent
451d8b09f1
commit
5d8406d8ad
4 changed files with 8 additions and 11 deletions
|
|
@ -37,11 +37,12 @@ let private genHumanInteraction =
|
|||
|
||||
let private genRemoteInteraction =
|
||||
Gen.oneof
|
||||
[ Gen.elements [ RemotePressedOnButton; RemotePressedOffButton; RemotePressedLeftButton ]
|
||||
[ Gen.elements [ RemotePressedOnButton; RemotePressedOffButton ]
|
||||
|> Gen.map BedroomControllingRemoteInteraction
|
||||
|
||||
Gen.elements
|
||||
[ RemotePressedRightButton
|
||||
[ RemotePressedLeftButton
|
||||
RemotePressedRightButton
|
||||
LivingRoomRemotePressedOnButton
|
||||
LivingRoomRemotePressedOffButton ]
|
||||
|> Gen.map LivingRoomControllingRemoteInteraction ]
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue