mbarbin / dunolint / 140

coverage: 91.018% (+1.2%) from 89.858%
140

Pull #67

github

web-flow 
Merge 31d0291bf into 5b617013e
Pull Request #67: Add tests

120 of 122 new or added lines in 9 files covered. (98.36%)

3881 of 4264 relevant lines covered (91.02%)

11.84 hits per line

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

87.5
/lib/dunolint/src/dune0/executable.ml
1 
(*********************************************************************************)
2 
(*  Dunolint - A tool to lint and help manage files in dune projects             *)
3 
(*  Copyright (C) 2024-2025 Mathieu Barbin <mathieu.barbin@gmail.com>            *)
4 
(*                                                                               *)
5 
(*  This file is part of Dunolint.                                               *)
6 
(*                                                                               *)
7 
(*  Dunolint is free software; you can redistribute it and/or modify it          *)
8 
(*  under the terms of the GNU Lesser General Public License as published by     *)
9 
(*  the Free Software Foundation either version 3 of the License, or any later   *)
10 
(*  version, with the LGPL-3.0 Linking Exception.                                *)
11 
(*                                                                               *)
12 
(*  Dunolint is distributed in the hope that it will be useful, but WITHOUT      *)
13 
(*  ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or        *)
14 
(*  FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License  *)
15 
(*  and the file `NOTICE.md` at the root of this repository for more details.    *)
16 
(*                                                                               *)
17 
(*  You should have received a copy of the GNU Lesser General Public License     *)
18 
(*  and the LGPL-3.0 Linking Exception along with this library. If not, see      *)
19 
(*  <http://www.gnu.org/licenses/> and <https://spdx.org>, respectively.         *)
20 
(*********************************************************************************)
21 









22



module Name = Executable__name










23



module Public_name = Executable__public_name










24












25



module Predicate = struct










26



  type t =




48✔






NEW


27



    [ `has_field of [ `instrumentation | `lint | `name | `preprocess | `public_name ]




×







28



    | `instrumentation of Instrumentation.Predicate.t Blang.t




4✔






29



    | `lint of Lint.Predicate.t Blang.t




4✔






30



    | `name of Name.Predicate.t Blang.t




12✔





31



    | `preprocess of Preprocess.Predicate.t Blang.t




4✔






32



    | `public_name of Public_name.Predicate.t Blang.t




4✔





33



    ]










34



  [@@deriving compare, equal, sexp]




12✔





35



end
























    

  • 

    •