Skip to content

Commit

Permalink
Formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
darrenldl committed May 30, 2021
1 parent 8b16ff6 commit ebac0e5
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions desc-tests/span_tests.ml
Original file line number Diff line number Diff line change
Expand Up @@ -141,7 +141,9 @@ module Alco = struct
in
0 <= ns
&& ns < 1_000_000_000
&& Int64.add (Int64.mul (-10L) 1_000_000_000L) (Int64.of_int CCInt.min_int)
&& Int64.add
(Int64.mul (-10L) 1_000_000_000L)
(Int64.of_int CCInt.min_int)
= Int64.add (Int64.mul s 1_000_000_000L) (Int64.of_int ns))
true

Expand Down Expand Up @@ -177,7 +179,9 @@ module Alco = struct
in
0 <= ns
&& ns < 1_000_000_000
&& Int64.add (Int64.mul (-10L) 1_000_000_000L) (Int64.of_int CCInt.max_int)
&& Int64.add
(Int64.mul (-10L) 1_000_000_000L)
(Int64.of_int CCInt.max_int)
= Int64.add (Int64.mul s 1_000_000_000L) (Int64.of_int ns))
true

Expand Down

0 comments on commit ebac0e5

Please sign in to comment.