Skip to content

Commit 484175e

Browse files
two-bucket: sync tests (#487)
1 parent 0ddd596 commit 484175e

2 files changed

Lines changed: 14 additions & 0 deletions

File tree

exercises/practice/two-bucket/.meta/tests.toml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,12 @@ description = "Measure one step using bucket one of size 1 and bucket two of siz
2727
[eb329c63-5540-4735-b30b-97f7f4df0f84]
2828
description = "Measure using bucket one of size 2 and bucket two of size 3 - start with bucket one and end with bucket two"
2929

30+
[58d70152-bf2b-46bb-ad54-be58ebe94c03]
31+
description = "Measure using bucket one much bigger than bucket two"
32+
33+
[9dbe6499-caa5-4a58-b5ce-c988d71b8981]
34+
description = "Measure using bucket one much smaller than bucket two"
35+
3036
[449be72d-b10a-4f4b-a959-ca741e333b72]
3137
description = "Not possible to reach the goal"
3238

exercises/practice/two-bucket/two_bucket_tests.plt

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,14 @@ pending :-
3030
measure(2, 3, 3, one, Measurement),
3131
Measurement == measurement(moves(2), goalBucket(two), otherBucket(2)).
3232

33+
test(measure_using_bucket_one_much_bigger_than_bucket_two, condition(pending)) :-
34+
measure(5, 1, 2, one, Measurement),
35+
Measurement == measurement(moves(6), goalBucket(one), otherBucket(1)).
36+
37+
test(measure_using_bucket_one_much_smaller_than_bucket_two, condition(pending)) :-
38+
measure(3, 15, 9, one, Measurement),
39+
Measurement == measurement(moves(6), goalBucket(two), otherBucket(0)).
40+
3341
test(not_possible_to_reach_the_goal, [fail, condition(pending)]) :-
3442
measure(6, 15, 5, one, _).
3543

0 commit comments

Comments
 (0)