From b2ff91614a7f1c7dd54a43bbfe88bbb6694b0a71 Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Sat, 24 Oct 2026 01:50:35 +0000 Subject: Formatting --- test/unit/kernel/EphemeralRelation.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'test/unit/kernel/EphemeralRelation.ml') diff --git a/test/unit/kernel/EphemeralRelation.ml b/test/unit/kernel/EphemeralRelation.ml index 151f8fc..9426b9a 100644 --- a/test/unit/kernel/EphemeralRelation.ml +++ b/test/unit/kernel/EphemeralRelation.ml @@ -25,7 +25,10 @@ let endless () = (fun () -> Ok (Rnt.Kernel.Generator.cursor_of (fun ~yield -> - let rec from n = yield (member n); from (n + 1) in + let rec from n = + yield (member n); + from (n + 1) + in from 0 ) ) ) let values tuples = @@ -72,7 +75,8 @@ let refuses_to_scan_without_end () = match Protocols.Relation.contains relation (member 9) with | Error condition -> check bool "it fails as undecidable instead of scanning" true - (BatString.starts_with (Concepts.Condition.to_string_hum condition) + (BatString.starts_with + (Concepts.Condition.to_string_hum condition) "undecidable-membership" ) | Ok _ -> fail "an endless relation with no test decided membership" ) -- cgit v1.2.3