Day 12 (#13)
All checks were successful
ci/woodpecker/push/build Pipeline was successful
ci/woodpecker/push/all-checks-complete Pipeline was successful

Co-authored-by: Smaug123 <patrick+github@patrickstevens.co.uk>
Reviewed-on: #13
This commit is contained in:
2023-12-12 19:23:40 +00:00
parent a24d28ab5c
commit 4e97a4d454
7 changed files with 278 additions and 5 deletions

View File

@@ -0,0 +1,45 @@
namespace AdventOfCode2023.Test
open AdventOfCode2023
open NUnit.Framework
open FsUnitTyped
open System.IO
[<TestFixture>]
module TestDay12 =
let sample = Assembly.getEmbeddedResource typeof<Dummy>.Assembly "day12.txt"
[<Test>]
let part1Sample () =
sample |> Day12.part1 |> shouldEqual 21uL
[<Test>]
let part2Sample () =
sample |> Day12.part2 |> shouldEqual 525152uL
[<Test>]
let part1Actual () =
let s =
try
File.ReadAllText (Path.Combine (__SOURCE_DIRECTORY__, "../../inputs/day12.txt"))
with
| :? DirectoryNotFoundException
| :? FileNotFoundException ->
Assert.Inconclusive ()
failwith "unreachable"
Day12.part1 s |> shouldEqual 7402uL
[<Test>]
let part2Actual () =
let s =
try
File.ReadAllText (Path.Combine (__SOURCE_DIRECTORY__, "../../inputs/day12.txt"))
with
| :? DirectoryNotFoundException
| :? FileNotFoundException ->
Assert.Inconclusive ()
failwith "unreachable"
Day12.part2 s |> shouldEqual 3384337640277uL