Skip to content

Commit 37fb310

Browse files
Convenience script to launch generator (#163)
I synced the connect exercise using ``` bin/run-generator -r ```
1 parent 355576e commit 37fb310

File tree

3 files changed

+22
-0
lines changed

3 files changed

+22
-0
lines changed

bin/run-generator

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
#!/usr/bin/env bash
2+
3+
set -eu
4+
5+
cd generators
6+
lake exe generator "$@"

exercises/practice/connect/.meta/tests.toml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,12 @@ description = "nobody wins crossing adjacent angles"
3030
[cd61c143-92f6-4a8d-84d9-cb2b359e226b]
3131
description = "X wins crossing from left to right"
3232

33+
[495e33ed-30a9-4012-b46e-d7c4d5fe13c3]
34+
description = "X wins with left-hand dead end fork"
35+
36+
[ab167ab0-4a98-4d0f-a1c0-e1cddddc3d58]
37+
description = "X wins with right-hand dead end fork"
38+
3339
[73d1eda6-16ab-4460-9904-b5f5dd401d0b]
3440
description = "O wins crossing from top to bottom"
3541

exercises/practice/connect/ConnectTest.lean

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,16 @@ def connectTests : TestSuite :=
3838
" O X O .",
3939
" X X O X",
4040
" . O X ."]))
41+
|>.addTest "X wins with left-hand dead end fork" (do
42+
return assertEqual 'X' (Connect.winner #[". . X .",
43+
" X X . .",
44+
" . X X X",
45+
" O O O O"]))
46+
|>.addTest "X wins with right-hand dead end fork" (do
47+
return assertEqual 'X' (Connect.winner #[". . X X",
48+
" X X . .",
49+
" . X X .",
50+
" O O O O"]))
4151
|>.addTest "O wins crossing from top to bottom" (do
4252
return assertEqual 'O' (Connect.winner #[". O . .",
4353
" O X X X",

0 commit comments

Comments
 (0)