Add second remote
This commit is contained in:
parent
48c58b610c
commit
8cde891ba2
8 changed files with 51 additions and 11 deletions
|
|
@ -40,7 +40,11 @@ let private genRemoteInteraction =
|
|||
[ Gen.elements [ RemotePressedOnButton; RemotePressedOffButton; RemotePressedLeftButton ]
|
||||
|> Gen.map BedroomControllingRemoteInteraction
|
||||
|
||||
Gen.constant (LivingRoomControllingRemoteInteraction RemotePressedRightButton) ]
|
||||
Gen.elements
|
||||
[ RemotePressedRightButton
|
||||
LivingRoomRemotePressedOnButton
|
||||
LivingRoomRemotePressedOffButton ]
|
||||
|> Gen.map LivingRoomControllingRemoteInteraction ]
|
||||
|
||||
let private genInteraction =
|
||||
Gen.frequency [ 4, genTimeChanged; 1, genHumanInteraction; 1, genRemoteInteraction ]
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue