Organisations joaosreis ocaml-lattices b0d50e (master)(lint-fmt)
(lint-fmt)

Created at May 17 11:02 +00:00
0s in queue
Finished at May 17 13:14 +00:00
b0d50e
Ran for 0s
Link Copied
Code Copied
Logs

Show raw logs
2024-05-17 11:02.29: New job: test joaosreis/ocaml-lattices https://github.com/joaosreis/ocaml-lattices.git#refs/heads/master (b0d50e710a4c2f65e8434fe33f4b804cfe91581d) (linux-x86_64:(lint-fmt))
Base: ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb
ocamlformat version: version 0.20.1 (from opam)


To reproduce locally:


git clone --recursive "https://github.com/joaosreis/ocaml-lattices.git" -b "master" && cd "ocaml-lattices" && git reset --hard b0d50e71
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb
USER 1000:1000
RUN cd ~/opam-repository && (git cat-file -e 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && git log --no-decorate -n1 --oneline && opam update -u
RUN opam depext -i dune
WORKDIR /src
RUN opam depext -i ocamlformat=0.20.1
COPY --chown=1000:1000 . /src/
RUN opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2)


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2024-05-17 11:02.29: Using cache hint "joaosreis/ocaml-lattices-ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb-debian-12-4.08_opam-2.1-ocamlformat-307e33d08fc4ccc1ea453ab45b0ead8ed574b97b"
2024-05-17 11:02.29: Using OBuilder spec:
((from ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb)
 (user (uid 1000) (gid 1000))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "cd ~/opam-repository && (git cat-file -e 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && git log --no-decorate -n1 --oneline && opam update -u"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam depext -i dune"))
 (workdir /src)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam depext -i ocamlformat=0.20.1"))
 (copy (src .) (dst /src/))
 (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)"))
)


2024-05-17 11:02.29: Waiting for resource in pool OCluster
2024-05-17 11:02.29: Waiting for worker…
2024-05-17 13:10.53: Got resource from pool OCluster
Building on x86-bm-c2.sw.ocaml.org
All commits already cached
HEAD is now at b0d50e7 Updated signatures of functors


(from ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb)
2024-05-17 13:10.38 ---> using "e0805034d9e735da2cb99f3eb2cde6a7473dabe8bd1020b5bf9a6e9f3a9991fe" from cache


/: (user (uid 1000) (gid 1000))


/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "cd ~/opam-repository && (git cat-file -e 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
 * branch                  master     -> FETCH_HEAD
   eb2dcab0d8..ec28f29e7d  master     -> origin/master
307e33d08f @dra27 and @Octachron maintain the 4.08+ packages


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
default (at file:///home/opam/opam-repository): 
    [INFO] opam 2.1 includes many performance improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html)


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2024-05-17 13:11.43 ---> saved as "7a9e50f2cda6a477fecf9feb19820cff5cf752694490b969013ec5cc497c2763"


/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam depext -i dune"))
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
# All required OS packages found.
# Now letting opam install the packages
The following actions will be performed:
  - install dune 3.15.2


<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[dune.3.15.2] found in cache


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed dune.3.15.2
Done.
# Run eval $(opam env) to update the current shell environment
2024-05-17 13:12.30 ---> saved as "da0ef2a22593619ca89bdb7c851c410681f2b8fe60d8d94466f5cedadddd8593"


/: (workdir /src)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam depext -i ocamlformat=0.20.1"))
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
# All required OS packages found.
# Now letting opam install the packages
The following actions will be performed:
  - install sexplib0          v0.14.0  [required by base]
  - install ocamlbuild        0.14.3   [required by fpath, uuseg]
  - install menhirCST         20231231 [required by menhir]
  - install either            1.0.0    [required by ocamlformat]
  - install cmdliner          1.2.0    [required by ocamlformat]
  - install menhirSdk         20231231 [required by ocamlformat]
  - install ocaml-version     3.5.0    [required by ocamlformat]
  - install ocamlfind         1.9.6    [required by ocp-indent, fpath, uuseg]
  - install menhirLib         20231231 [required by ocamlformat]
  - install result            1.5      [required by odoc-parser]
  - install seq               base     [required by re]
  - install csexp             1.5.2    [required by dune-configurator]
  - install camlp-streams     5.0.1    [required by odoc-parser]
  - install dune-build-info   3.15.2   [required by ocamlformat]
  - install fix               20230505 [required by ocamlformat]
  - install topkg             1.0.7    [required by fpath, uuseg]
  - install base-bytes        base     [required by ocp-indent]
  - install menhir            20231231 [required by ocamlformat]
  - install re                1.11.0   [required by ocamlformat]
  - install dune-configurator 3.15.2   [required by base]
  - install uutf              1.0.3    [required by ocamlformat]
  - install astring           0.8.5    [required by fpath, odoc-parser]
  - install ocp-indent        1.8.1    [required by ocamlformat]
  - install base              v0.14.3  [required by ocamlformat]
  - install uucp              15.0.0   [required by uuseg]
  - install odoc-parser       1.0.1    [required by ocamlformat]
  - install fpath             0.7.3    [required by ocamlformat]
  - install stdio             v0.14.0  [required by ocamlformat]
  - install uuseg             15.0.0   [required by ocamlformat]
  - install ocamlformat       0.20.1
===== 30 to install =====


<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[astring.0.8.5] found in cache
[base.v0.14.3] found in cache
[camlp-streams.5.0.1] found in cache
[cmdliner.1.2.0] found in cache
[csexp.1.5.2] found in cache
[dune-build-info.3.15.2] found in cache
[dune-configurator.3.15.2] found in cache
[either.1.0.0] found in cache
[fix.20230505] found in cache
[fpath.0.7.3] found in cache
[menhir.20231231] found in cache
[menhirCST.20231231] found in cache
[menhirLib.20231231] found in cache
[menhirSdk.20231231] found in cache
[ocaml-version.3.5.0] found in cache
[ocamlbuild.0.14.3] found in cache
[ocamlfind.1.9.6] found in cache
[ocamlformat.0.20.1] found in cache
[ocp-indent.1.8.1] found in cache
[odoc-parser.1.0.1] found in cache
[re.1.11.0] found in cache
[result.1.5] found in cache
[sexplib0.v0.14.0] found in cache
[stdio.v0.14.0] found in cache
[topkg.1.0.7] found in cache
[uucp.15.0.0] found in cache
[uuseg.15.0.0] found in cache
[uutf.1.0.3] found in cache


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed camlp-streams.5.0.1
-> installed csexp.1.5.2
-> installed either.1.0.0
-> installed fix.20230505
-> installed menhirCST.20231231
-> installed cmdliner.1.2.0
-> installed menhirLib.20231231
-> installed menhirSdk.20231231
-> installed ocaml-version.3.5.0
-> installed re.1.11.0
-> installed result.1.5
-> installed sexplib0.v0.14.0
-> installed dune-build-info.3.15.2
-> installed dune-configurator.3.15.2
-> installed ocamlfind.1.9.6
-> installed base-bytes.base
-> installed ocamlbuild.0.14.3
-> installed ocp-indent.1.8.1
-> installed base.v0.14.3
-> installed topkg.1.0.7
-> installed stdio.v0.14.0
-> installed uutf.1.0.3
-> installed astring.0.8.5
-> installed odoc-parser.1.0.1
-> installed fpath.0.7.3
-> installed menhir.20231231
-> installed uucp.15.0.0
-> installed uuseg.15.0.0
-> installed ocamlformat.0.20.1
Done.


<><> ocp-indent.1.8.1 installed successfully ><><><><><><><><><><><><><><><><><>
=> This package requires additional configuration for use in editors. Install package 'user-setup', or manually:


   * for Emacs, add these lines to ~/.emacs:
     (add-to-list 'load-path "/home/opam/.opam/4.08/share/emacs/site-lisp")
     (require 'ocp-indent)


   * for Vim, add this line to ~/.vimrc:
     set rtp^="/home/opam/.opam/4.08/share/ocp-indent/vim"
# Run eval $(opam env) to update the current shell environment
2024-05-17 13:14.10 ---> saved as "502b367195895ea537bd78c01655768a7b1b3955fdbd424ac8bfb5f328812e1c"


/src: (copy (src .) (dst /src/))
2024-05-17 13:14.10 ---> saved as "5c3718ca1645b98e5192c5fe96311b7198e0b6ba07a35784101f831ba9d7eb56"


/src: (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)"))
File "src/lib/sequence.mli", line 1, characters 0-0:
diff --git a/_build/default/src/lib/sequence.mli b/_build/default/src/lib/.formatted/sequence.mli
index 387105e..33a25cc 100644
--- a/_build/default/src/lib/sequence.mli
+++ b/_build/default/src/lib/.formatted/sequence.mli
@@ -1,3 +1,2 @@
 open! Core
-
 module Make (L : Sig.S) : Sig.S with type t = L.t list
File "src/lib/interval.mli", line 1, characters 0-0:
diff --git a/_build/default/src/lib/interval.mli b/_build/default/src/lib/.formatted/interval.mli
index e7d33c4..b9db27d 100644
--- a/_build/default/src/lib/interval.mli
+++ b/_build/default/src/lib/.formatted/interval.mli
@@ -1,9 +1,7 @@
 open! Core
 
 type lower_bound = [ `LInf | `Int of int ]
-
 type upper_bound = [ `HInf | `Int of int ]
-
 type t = Empty | Interval of lower_bound * upper_bound
 
 val bound_leq :
@@ -14,5 +12,4 @@ val bound_to_string : [< `LInf | `HInf | `Int of int ] -> string
 include Sig.S with type t := t
 
 val top : t
-
 val meet : t -> t -> t
File "src/lib/flat.mli", line 1, characters 0-0:
diff --git a/_build/default/src/lib/flat.mli b/_build/default/src/lib/.formatted/flat.mli
index 14d2c44..3e501d5 100644
--- a/_build/default/src/lib/flat.mli
+++ b/_build/default/src/lib/.formatted/flat.mli
@@ -6,12 +6,10 @@ module Make (X : sig
   type t [@@deriving sexp_of]
 
   val to_string : t -> string
-
   val equal : t -> t -> bool
 end) : sig
   include Sig.S with type t = X.t flat
 
   val top : t
-
   val meet : t -> t -> t
 end
File "src/lib/map.mli", line 1, characters 0-0:
diff --git a/_build/default/src/lib/map.mli b/_build/default/src/lib/.formatted/map.mli
index 9afc049..38a9156 100644
--- a/_build/default/src/lib/map.mli
+++ b/_build/default/src/lib/.formatted/map.mli
@@ -4,9 +4,7 @@ module Make (D : sig
   type t
 
   include Sexpable.S with type t := t
-
   module Map : Map.S with type Key.t := t
-
   module Set : Set.S with type Elt.t := t
 
   val to_string : t -> string
@@ -17,6 +15,5 @@ end)
   include Sig.S with type t = L.t D.Map.t
 
   val set : t -> D.t -> L.t -> t
-
   val get : t -> D.t -> L.t option
 end
File "src/lib/pair.mli", line 1, characters 0-0:
diff --git a/_build/default/src/lib/pair.mli b/_build/default/src/lib/.formatted/pair.mli
index 2c1186c..7226cae 100644
--- a/_build/default/src/lib/pair.mli
+++ b/_build/default/src/lib/.formatted/pair.mli
@@ -4,8 +4,6 @@ module Make (L1 : Sig.S) (L2 : Sig.S) : sig
   include Sig.S with type t = L1.t * L2.t
 
   val fst : t -> L1.t
-
   val snd : t -> L2.t
-
   val of_pair : L1.t * L2.t -> t
 end
File "src/lib/taint.mli", line 1, characters 0-0:
diff --git a/_build/default/src/lib/taint.mli b/_build/default/src/lib/.formatted/taint.mli
index f4fdc48..4d4acf5 100644
--- a/_build/default/src/lib/taint.mli
+++ b/_build/default/src/lib/.formatted/taint.mli
@@ -1,5 +1,4 @@
 open! Core
-
 include Sig.S with type t = bool Flat.flat
 
 val join_taint : t -> t -> t
File "src/lib/pair.ml", line 1, characters 0-0:
diff --git a/_build/default/src/lib/pair.ml b/_build/default/src/lib/.formatted/pair.ml
index a71ab43..2cfc9c1 100644
--- a/_build/default/src/lib/pair.ml
+++ b/_build/default/src/lib/.formatted/pair.ml
@@ -4,9 +4,7 @@ module Make (L1 : Sig.S) (L2 : Sig.S) = struct
   type t = L1.t * L2.t [@@deriving sexp_of]
 
   let bottom = (L1.bottom, L2.bottom)
-
   let join x y = (L1.join (fst x) (fst y), L2.join (snd x) (snd y))
-
   let meet x y = (L1.meet (fst x) (fst y), L2.meet (snd x) (snd y))
 
   let leq (x_1, y_1) (x_2, y_2) =
@@ -17,8 +15,6 @@ module Make (L1 : Sig.S) (L2 : Sig.S) = struct
     Printf.sprintf "%s, %s" (fst x |> L1.to_string) (snd x |> L2.to_string)
 
   let fst = fst
-
   let snd = snd
-
   let of_pair x = x
 end
File "src/lib/sig.mli", line 1, characters 0-0:
diff --git a/_build/default/src/lib/sig.mli b/_build/default/src/lib/.formatted/sig.mli
index 4ebed11..f9d006a 100644
--- a/_build/default/src/lib/sig.mli
+++ b/_build/default/src/lib/.formatted/sig.mli
@@ -4,13 +4,9 @@ module type S = sig
   type t [@@deriving sexp_of]
 
   val bottom : t
-
   val leq : t -> t -> bool
-
   val join : t -> t -> t
-
   val meet : t -> t -> t
-
   val to_string : t -> string
 end
 
@@ -18,6 +14,5 @@ module type ELEMENT = sig
   type t
 
   val compare : t -> t -> int
-
   val to_string : t -> string
 end
File "src/lib/sign.mli", line 1, characters 0-0:
diff --git a/_build/default/src/lib/sign.mli b/_build/default/src/lib/.formatted/sign.mli
index 24f489c..c821c52 100644
--- a/_build/default/src/lib/sign.mli
+++ b/_build/default/src/lib/.formatted/sign.mli
@@ -1,21 +1,14 @@
 open! Core
 
 type sign = Zero | Pos | Neg [@@deriving sexp_of]
-
 type t = sign Flat.flat
 
 include Sig.S with type t := t
 
 val top : t
-
 val plus : t -> t -> t
-
 val minus : t -> t -> t
-
 val times : t -> t -> t
-
 val divide : t -> t -> t
-
 val sign : int -> t
-
 val sign_bigint : Bigint.t -> t
File "src/lib/flat.ml", line 1, characters 0-0:
diff --git a/_build/default/src/lib/flat.ml b/_build/default/src/lib/.formatted/flat.ml
index c0b19e6..13ed2aa 100644
--- a/_build/default/src/lib/flat.ml
+++ b/_build/default/src/lib/.formatted/flat.ml
@@ -6,14 +6,12 @@ module Make (X : sig
   type t [@@deriving sexp_of]
 
   val to_string : t -> string
-
   val equal : t -> t -> bool
 end) =
 struct
   type t = X.t flat [@@deriving sexp_of]
 
   let bottom = Bottom
-
   let top = Top
 
   let leq x y =
File "src/lib/map.ml", line 1, characters 0-0:
diff --git a/_build/default/src/lib/map.ml b/_build/default/src/lib/.formatted/map.ml
index 9013c3c..b4f0171 100644
--- a/_build/default/src/lib/map.ml
+++ b/_build/default/src/lib/.formatted/map.ml
@@ -4,9 +4,7 @@ module Make (D : sig
   type t
 
   include Sexpable.S with type t := t
-
   module Map : Map.S with type Key.t := t
-
   module Set : Set.S with type Elt.t := t
 
   val to_string : t -> string
@@ -52,6 +50,5 @@ struct
     [%string "[ %{s} ]"]
 
   let set x key data = Map.set x ~key ~data
-
   let get x key = Map.find x key
 end
File "src/test/flat_test.ml", line 1, characters 0-0:
diff --git a/_build/default/src/test/flat_test.ml b/_build/default/src/test/.formatted/flat_test.ml
index 4087aaa..e157482 100644
--- a/_build/default/src/test/flat_test.ml
+++ b/_build/default/src/test/.formatted/flat_test.ml
@@ -6,9 +6,7 @@ module Make (E : sig
   type t [@@deriving sexp_of, eq]
 
   val gen : t Gen.t
-
   val to_string : t -> string
-
   val name : string
 end) : LCheck.LATTICE = struct
   module L = Flat.Make (E)
File "src/lib/with_top.mli", line 1, characters 0-0:
diff --git a/_build/default/src/lib/with_top.mli b/_build/default/src/lib/.formatted/with_top.mli
index b937e1d..7d68d3d 100644
--- a/_build/default/src/lib/with_top.mli
+++ b/_build/default/src/lib/.formatted/with_top.mli
@@ -2,7 +2,6 @@ open! Core
 
 module type S = sig
   type elt
-
   type t = [ `Top | `Some of elt ]
 
   include Sig.S with type t := t
File "src/lib/powerset.ml", line 1, characters 0-0:
diff --git a/_build/default/src/lib/powerset.ml b/_build/default/src/lib/.formatted/powerset.ml
index 9976ffd..0c5df21 100644
--- a/_build/default/src/lib/powerset.ml
+++ b/_build/default/src/lib/.formatted/powerset.ml
@@ -22,11 +22,8 @@ module Make (D : ELT) = struct
   type t = Elt.Set.t [@@deriving sexp_of]
 
   let bottom = Elt.Set.empty
-
   let join = Elt.Set.union
-
   let meet = Elt.Set.inter
-
   let leq x y = Elt.Set.is_subset x ~of_:y
 
   let to_string x =
@@ -46,13 +43,9 @@ struct
   type t = Elt.Set.t [@@deriving sexp_of]
 
   let bottom = Elt.Set.of_list bottom
-
   let top = Elt.Set.empty
-
   let join = Elt.Set.inter
-
   let meet = Elt.Set.union
-
   let leq x y = Elt.Set.equal x y || not (Elt.Set.is_subset x ~of_:y)
 
   let to_string x =
File "src/test/lcheck_helper.ml", line 1, characters 0-0:
diff --git a/_build/default/src/test/lcheck_helper.ml b/_build/default/src/test/.formatted/lcheck_helper.ml
index d531f27..d0e31b0 100644
--- a/_build/default/src/test/lcheck_helper.ml
+++ b/_build/default/src/test/.formatted/lcheck_helper.ml
@@ -6,8 +6,6 @@ module Make (L : Lattices.Sig.S) = struct
   type elem = L.t
 
   let bot = L.bottom
-
   let eq x y = L.leq x y && L.leq y x
-
   let pprint x = print_string (L.to_string x)
 end
File "src/lib/with_top.ml", line 1, characters 0-0:
diff --git a/_build/default/src/lib/with_top.ml b/_build/default/src/lib/.formatted/with_top.ml
index 2495543..270f6e9 100644
--- a/_build/default/src/lib/with_top.ml
+++ b/_build/default/src/lib/.formatted/with_top.ml
@@ -2,7 +2,6 @@ open! Core
 
 module type S = sig
   type elt
-
   type t = [ `Top | `Some of elt ] [@@deriving sexp_of]
 
   include Sig.S with type t := t
@@ -12,11 +11,9 @@ end
 
 module Make (L : Sig.S) = struct
   type elt = L.t [@@deriving sexp_of]
-
   type t = [ `Top | `Some of elt ] [@@deriving sexp_of]
 
   let bottom = `Some L.bottom
-
   let top = `Top
 
   let leq x y =
File "src/test/sign.ml", line 1, characters 0-0:
diff --git a/_build/default/src/test/sign.ml b/_build/default/src/test/.formatted/sign.ml
index 6e730af..6652350 100644
--- a/_build/default/src/test/sign.ml
+++ b/_build/default/src/test/.formatted/sign.ml
@@ -5,7 +5,6 @@ module L = Flat_test.Make (struct
   type t = Lattices.Sign.sign [@@deriving sexp_of]
 
   let gen = Gen.oneofl [ Lattices.Sign.Neg; Pos; Zero ]
-
   let to_string = function Lattices.Sign.Zero -> "0" | Pos -> "+" | Neg -> "-"
 
   let equal x y =
File "src/test/powerset.ml", line 1, characters 0-0:
diff --git a/_build/default/src/test/powerset.ml b/_build/default/src/test/.formatted/powerset.ml
index fbbd8f2..b31b569 100644
--- a/_build/default/src/test/powerset.ml
+++ b/_build/default/src/test/.formatted/powerset.ml
@@ -7,9 +7,7 @@ module L : LCheck.LATTICE_TOPLESS = struct
   include Lcheck_helper.Make (L_1)
 
   let bot = bottom
-
   let equal x y = leq x y && leq y x
-
   let name = "powerset lattice"
 
   let arb_elem =
File "src/test/taint.ml", line 1, characters 0-0:
diff --git a/_build/default/src/test/taint.ml b/_build/default/src/test/.formatted/taint.ml
index cc22d91..4a4e1aa 100644
--- a/_build/default/src/test/taint.ml
+++ b/_build/default/src/test/.formatted/taint.ml
@@ -5,7 +5,6 @@ module L = Flat_test.Make (struct
   include Bool
 
   let gen = Gen.bool
-
   let name = "taint"
 end)
 
File "src/lib/interval.ml", line 1, characters 0-0:
diff --git a/_build/default/src/lib/interval.ml b/_build/default/src/lib/.formatted/interval.ml
index 56c72d9..0fb7011 100644
--- a/_build/default/src/lib/interval.ml
+++ b/_build/default/src/lib/.formatted/interval.ml
@@ -1,7 +1,6 @@
 open! Core
 
 type lower_bound = [ `LInf | `Int of int ] [@@deriving sexp_of]
-
 type upper_bound = [ `HInf | `Int of int ] [@@deriving sexp_of]
 
 let bound_leq x y =
@@ -13,25 +12,15 @@ let bound_leq x y =
   | `Int x, `Int y -> x <= y
 
 let%test _ = bound_leq `LInf `LInf
-
 let%test _ = not (bound_leq `HInf `LInf)
-
 let%test _ = bound_leq `LInf `HInf
-
 let%test _ = bound_leq `HInf `HInf
-
 let%test _ = not (bound_leq `HInf (`Int 0))
-
 let%test _ = bound_leq (`Int 0) `HInf
-
 let%test _ = bound_leq `LInf (`Int 0)
-
 let%test _ = not (bound_leq (`Int 0) `LInf)
-
 let%test _ = bound_leq (`Int 0) (`Int 1)
-
 let%test _ = not (bound_leq (`Int 1) (`Int 0))
-
 let%test _ = bound_leq (`Int 0) (`Int 0)
 
 let bound_to_string = function
@@ -62,7 +51,6 @@ let ubound_max x y =
 type t = Empty | Interval of lower_bound * upper_bound [@@deriving sexp_of]
 
 let bottom = Empty
-
 let top = Interval (`LInf, `HInf)
 
 let leq x y =
File "src/test/reverse_powerset.ml", line 1, characters 0-0:
diff --git a/_build/default/src/test/reverse_powerset.ml b/_build/default/src/test/.formatted/reverse_powerset.ml
index 31f2391..623ca4d 100644
--- a/_build/default/src/test/reverse_powerset.ml
+++ b/_build/default/src/test/.formatted/reverse_powerset.ml
@@ -14,9 +14,7 @@ module L : LCheck.LATTICE = struct
   include Lcheck_helper.Make (L_1)
 
   let bot = bottom
-
   let equal x y = leq x y && leq y x
-
   let name = "powerset lattice"
 
   let arb_elem =
File "src/test/with_top.ml", line 1, characters 0-0:
diff --git a/_build/default/src/test/with_top.ml b/_build/default/src/test/.formatted/with_top.ml
index d026bdb..4f3fe02 100644
--- a/_build/default/src/test/with_top.ml
+++ b/_build/default/src/test/.formatted/with_top.ml
@@ -5,7 +5,6 @@ module Make (L : sig
   include Lattices.Sig.S
 
   val gen : t Gen.t
-
   val name : string
 end) : LCheck.LATTICE = struct
   open Lattices
@@ -14,7 +13,6 @@ end) : LCheck.LATTICE = struct
   include Lcheck_helper.Make (L_1)
 
   let equal x y = leq x y && leq y x
-
   let name = L.name ^ " lattice"
 
   let arb_elem =
File "src/test/int_test.ml", line 1, characters 0-0:
diff --git a/_build/default/src/test/int_test.ml b/_build/default/src/test/.formatted/int_test.ml
index b921b74..c628957 100644
--- a/_build/default/src/test/int_test.ml
+++ b/_build/default/src/test/.formatted/int_test.ml
@@ -3,11 +3,9 @@ open QCheck
 
 module L = struct
   type elem = Bottom | I of int [@@deriving sexp_of]
-
   type t = elem [@@deriving sexp_of]
 
   let bot = Bottom
-
   let bottom = bot
 
   let leq x y =
File "src/test/pair.ml", line 1, characters 0-0:
diff --git a/_build/default/src/test/pair.ml b/_build/default/src/test/.formatted/pair.ml
index d02b3f8..32e0b16 100644
--- a/_build/default/src/test/pair.ml
+++ b/_build/default/src/test/.formatted/pair.ml
@@ -9,9 +9,7 @@ module L : LCheck.LATTICE_TOPLESS = struct
   include Lcheck_helper.Make (L_1)
 
   let bot = bottom
-
   let equal x y = leq x y && leq y x
-
   let name = "pair lattice"
 
   let arb_elem =
File "src/test/lCheck.ml", line 1, characters 0-0:
diff --git a/_build/default/src/test/lCheck.ml b/_build/default/src/test/.formatted/lCheck.ml
index 875cf5c..2f86349 100644
--- a/_build/default/src/test/lCheck.ml
+++ b/_build/default/src/test/.formatted/lCheck.ml
@@ -17,22 +17,15 @@ module type LATTICE_TOPLESS = sig
   type elem
 
   val leq : elem -> elem -> bool
-
   val join : elem -> elem -> elem
-
   val meet : elem -> elem -> elem
-
   val bot : elem
 
   (*  val top       : elem *)
   val eq : elem -> elem -> bool
-
   val to_string : elem -> string
-
   val arb_elem : elem arbitrary
-
   val equiv_pair : (elem * elem) arbitrary
-
   val arb_elem_le : elem -> elem arbitrary
 end
 
@@ -45,12 +38,10 @@ end
 module GenericTests (L : LATTICE_TOPLESS) = struct
   (* Helpers for generating pairs and triples *)
   let arb_pair = pair L.arb_elem L.arb_elem
-
   let arb_triple = triple L.arb_elem L.arb_elem L.arb_elem
 
   (* Helpers for pretty printing pairs and triples *)
   let pp_pair = Print.pair L.to_string L.to_string
-
   let pp_triple = Print.triple L.to_string L.to_string L.to_string
 
   let ord_pair =
@@ -69,9 +60,7 @@ module GenericTests (L : LATTICE_TOPLESS) = struct
     make gen ~print:pp_triple
 
   let small a = String.length (L.to_string a)
-
   let small_pair p = String.length (pp_pair p)
-
   let small_triple t = String.length (pp_triple t)
 
   (* Generic lattice property tests *)
@@ -262,7 +251,6 @@ module type ARB_ARG = sig
   type elem
 
   val arb_elem : elem arbitrary
-
   val to_string : elem -> string
 end
 
@@ -270,7 +258,6 @@ module MkArbListArg (A : ARB_ARG) = struct
   type elem = A.elem list
 
   let arb_elem = list_of_size (Gen.int_bound 20) A.arb_elem
-
   let to_string = Print.list A.to_string
 end
 
@@ -398,24 +385,16 @@ module Bool = struct
   type elem = bool
 
   let leq a b = if a then true else not b
-
   let join = ( && )
-
   let meet = ( || )
-
   let bot = true
-
   let top = false
-
   let eq = ( = )
-
   let to_string = string_of_bool
 
   (* The below ones are generic *)
   let arb_elem = bool
-
   let equiv_pair = map (fun a -> (a, a)) arb_elem
-
   let arb_elem_le e = if e = top then arb_elem else always bot
 end
 
@@ -428,24 +407,16 @@ module DBool = struct
   type elem = bool
 
   let leq a b = if a then b else true
-
   let join = ( || )
-
   let meet = ( && )
-
   let bot = false
-
   let top = true
-
   let eq = ( = )
-
   let to_string = string_of_bool
 
   (* The below ones are generic *)
   let arb_elem = bool
-
   let equiv_pair = map (fun a -> (a, a)) arb_elem
-
   let arb_elem_le e = if e = top then arb_elem else always bot
 end
 
@@ -460,21 +431,13 @@ module MkPairLattice (A : LATTICE_TOPLESS) (B : LATTICE_TOPLESS) = struct
   type elem = A.elem * B.elem
 
   let leq p p' = A.leq (fst p) (fst p') && B.leq (snd p) (snd p')
-
   let join p p' = (A.join (fst p) (fst p'), B.join (snd p) (snd p'))
-
   let meet p p' = (A.meet (fst p) (fst p'), B.meet (snd p) (snd p'))
-
   let bot = (A.bot, B.bot)
-
   let eq p p' = A.eq (fst p) (fst p') && B.eq (snd p) (snd p')
-
   let to_string = Print.pair A.to_string B.to_string
-
   let arb_elem = pair A.arb_elem B.arb_elem
-
   let equiv_pair = map (fun a -> (a, a)) arb_elem
-
   let arb_elem_le p = pair (A.arb_elem_le (fst p)) (B.arb_elem_le (snd p))
 end
 
@@ -510,9 +473,7 @@ module MkListLattice (A : LATTICE_TOPLESS) = struct
     | _, _ -> false
 
   let to_string = Print.list A.to_string
-
   let arb_elem = list A.arb_elem
-
   let equiv_pair = map (fun v -> (v, v)) arb_elem
 
   let arb_elem_le vs =
dune build @fmt failed
"/usr/bin/env" "bash" "-c" "opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2)" failed with exit status 2
2024-05-17 13:14.11: Job failed: Failed: Build failed