|
|
0c964719d9
|
Improve variable name
|
2026-03-19 07:38:04 +01:00 |
|
|
|
8cde891ba2
|
Add second remote
|
2026-03-15 17:32:36 +01:00 |
|
|
|
48c58b610c
|
Make the Right button toggle the living room lights
|
2026-03-15 17:32:36 +01:00 |
|
|
|
1dc1faa16a
|
Improve types for remote button presses in tests
|
2026-03-15 17:32:35 +01:00 |
|
|
|
3913522cc3
|
Store a lot less state
|
2026-03-15 17:32:35 +01:00 |
|
|
|
d3a00b8a77
|
Implement the Right button on the bedroom remote
|
2026-03-15 17:32:35 +01:00 |
|
|
|
1e313ca4ab
|
Improve lamp names
|
2026-03-15 17:32:35 +01:00 |
|
|
|
3855439d82
|
Hard code the lights controlled by the remote
|
2026-03-15 17:32:35 +01:00 |
|
|
|
50c8a413a6
|
Give every light its own type
|
2026-03-15 17:32:35 +01:00 |
|
|
|
59a1b1e41d
|
Bias the TimeChanged generator to make alarms more likely
|
2026-01-20 21:00:02 +01:00 |
|
|
|
23d3a7b601
|
Test alarm in existing test
|
2026-01-18 08:03:04 +01:00 |
|
|
|
e5141d528e
|
Label properties with the state of FakeHome
|
2026-01-18 07:07:22 +01:00 |
|
|
|
275a0677eb
|
Add test for light brightness
|
2026-01-17 11:30:55 +01:00 |
|
|
|
001b1e0af3
|
Fix statistic summary
|
2026-01-17 10:12:31 +01:00 |
|
|
|
62c8e446c9
|
Re-write the remaining tests
|
2026-01-17 10:04:02 +01:00 |
|
|
|
ec90147c07
|
Simplify classify by using collect
|
2026-01-16 23:47:51 +01:00 |
|
|
|
8866053172
|
Introduce ArbitraryInteractions
|
2026-01-16 21:49:38 +01:00 |
|
|
|
d278b5d8ea
|
Rewrite another test to use a more generic generator
|
2026-01-16 21:46:14 +01:00 |
|
|
|
cbc948c005
|
Re-use getPartOfDayAfterInteractions in an ensure... function
|
2026-01-16 21:19:54 +01:00 |
|
|
|
f22f31ee6c
|
Rewrite two tests with Prop.classify instead
|
2026-01-16 21:17:37 +01:00 |
|
|
|
a9331853c0
|
Improve generator names to show that they are biased
|
2026-01-16 20:23:13 +01:00 |
|
|
|
7af3827214
|
Improve test names
|
2026-01-16 20:13:54 +01:00 |
|
|
|
c342f06e82
|
Simplify function names
|
2026-01-16 20:13:54 +01:00 |
|
|
|
d509829304
|
Introduce ensureLastRemoteInteractionIs
|
2026-01-14 22:01:29 +01:00 |
|
|
|
b3689108a7
|
Introduce ensurePartOfDayIs
|
2026-01-14 21:50:47 +01:00 |
|
|
|
2950b21488
|
Implement the 'Left' button on the remote
|
2026-01-14 19:53:15 +01:00 |
|
|
|
6ecb6d07ac
|
Simplify tests to prepare for a more complicated remote
|
2026-01-14 19:50:58 +01:00 |
|
|
|
1ad118c6d8
|
Improve test name
|
2026-01-10 09:41:58 +01:00 |
|
|
|
b53151b4c5
|
Re-write tests without ==>
|
2026-01-09 19:23:19 +01:00 |
|
|
|
cefe696f97
|
Replace the 'initial interactions' concept with ensureStartsWithTimeChanged
This allows us to generate the case again where the list *just* contains
a TimeChanged interaction.
|
2026-01-09 19:16:47 +01:00 |
|
|
|
6ec9aa1b51
|
getInteractionsExcept -> genRandomInteractionsExcept
|
2026-01-09 06:02:48 +01:00 |
|
|
|
879b75f201
|
Add comment to doesLightHavePowerAfter
|
2026-01-09 06:01:17 +01:00 |
|
|
|
2da1972b06
|
Get rid of the [...]AndEndWith helper
I introduced this to test a very specific edge case right after
initialization, but it made all tests harder to read.
|
2026-01-08 22:30:47 +01:00 |
|
|
|
c74238e105
|
Add a test for the initial state of the remote-controlled lights
|
2026-01-08 22:22:47 +01:00 |
|
|
|
150fa265de
|
Use shorthand
|
2026-01-08 22:10:20 +01:00 |
|
|
|
c30642dcce
|
Clarify helper names
This makes it more obvious that there might be multiple "day times" or
"night times" in a row.
|
2026-01-08 22:08:52 +01:00 |
|
|
|
6ff7ce19b2
|
Give the tests slightly better names
|
2026-01-08 22:03:39 +01:00 |
|
|
|
d7fac9c3d0
|
Verify that non-remotely controlled lights are on if they have power
|
2026-01-08 21:52:10 +01:00 |
|
|
|
d57ca23822
|
Make tests target specific lights when testing
|
2026-01-08 21:52:06 +01:00 |
|
|
|
0ddcd17fd4
|
Get rid of an intermediate variable
|
2026-01-08 21:05:20 +01:00 |
|
|
|
2c051c0b3d
|
Add some synctatic sugar
|
2026-01-08 20:58:24 +01:00 |
|
|
|
0033fed73e
|
Fix test name
|
2026-01-08 20:19:22 +01:00 |
|
|
|
75e1170cf2
|
Improve names for generators
|
2026-01-06 12:40:57 +01:00 |
|
|
|
555a64db08
|
Improve variable name
|
2026-01-06 10:22:20 +01:00 |
|
|
|
d4653bbc7f
|
Clarify test
|
2026-01-06 10:12:59 +01:00 |
|
|
|
fd103125e3
|
Automatically turn on lights at dawn
|
2026-01-06 09:36:42 +01:00 |
|
|
|
f42a8747dd
|
Mark trivial test cases
|
2026-01-05 23:48:16 +01:00 |
|
|
|
d3c0881c39
|
Add a test that verifies that the remote turns on the lights
|
2026-01-05 23:39:51 +01:00 |
|
|
|
9bc76cdf8e
|
Invert helper function
|
2026-01-05 23:06:12 +01:00 |
|
|
|
b9a318a5f1
|
Improve test name
|
2026-01-05 22:51:30 +01:00 |
|
