summaryrefslogtreecommitdiff
path: root/ocaml/test/domain/test_d01p02.ml
blob: 98c06c39cb4cb08770be04cc4787ac9e8826aec7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
open Domain.D01p02

let test_start () =
  Alcotest.(check int) "incorrect starting state" 50 (Dial.to_int Dial.start)

let test_turn errmsg exp dir =
  Alcotest.(check int)
    errmsg exp
    (Dial.to_int (fst (Turner.turn Dial.start 0 dir)))

let test_turn_left_one () =
  test_turn "incorrect result when turning left one step" 49 (Dial.Left 1)

let test_turn_left_100 () =
  test_turn "incorrect result when turning left 100 steps" 50 (Dial.Left 100)

let test_turn_right_one () =
  test_turn "incorrect result when turning right one step" 51 (Dial.Right 1)

let test_turn_right_100 () =
  test_turn "incorrect result when turning right 100 steps" 50 (Dial.Right 100)

let test_zero_count errmsg exp dir =
  Alcotest.(check int) errmsg exp (snd (Turner.turn Dial.start 0 dir))

let test_zero_count_right_1000 () =
  test_zero_count "zero MUST be counted each time it is passed" 10
    (Dial.Right 1000)

let () =
  let open Alcotest in
  run "D01p02"
    [ ("initial-state", [test_case "starting state" `Quick test_start])
    ; ( "turning-dial-regression"
      , [ test_case "turning left one step" `Quick test_turn_left_one
        ; test_case "turning right one step" `Quick test_turn_right_one
        ; test_case "turning left 100 steps" `Quick test_turn_left_100
        ; test_case "turning right 100 steps" `Quick test_turn_right_100 ] )
    ; ( "zero-count"
      , [ test_case "zero count after turning right 1000 steps" `Quick
            test_zero_count_right_1000 ] ) ]