• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

mbarbin / super-master-mind / 217

31 Jan 2026 12:24PM UTC coverage: 50.206% (-38.1%) from 88.313%
217

Pull #45

github

web-flow
Merge 235b668da into 3d48eb3d9
Pull Request #45: Dune pkg ci migration

610 of 1215 relevant lines covered (50.21%)

597078.5 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0
/test/stdlib/test__expect.ml
1
(*********************************************************************************)
2
(*  super-master-mind: A solver for the super master mind game                   *)
3
(*  SPDX-FileCopyrightText: 2021-2025 Mathieu Barbin <mathieu.barbin@gmail.com>  *)
4
(*  SPDX-License-Identifier: MIT                                                 *)
5
(*********************************************************************************)
6

7
let%expect_test "require does not hold" =
8
  (match require false with
×
9
   | () -> assert false
10
   | exception exn -> print_string (Printexc.to_string exn));
×
11
  [%expect {| ("Required condition does not hold.", {}) |}];
×
12
  ()
13
;;
14

15
let%expect_test "require_does_raise did not raise" =
16
  (match require_does_raise ignore with
×
17
   | () -> assert false
18
   | exception exn -> print_string (Printexc.to_string exn));
×
19
  [%expect {| ("Did not raise.", {}) |}];
×
20
  ()
21
;;
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc