diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-10-24 01:50:35 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-10-24 01:50:35 +0000 |
| commit | b2ff91614a7f1c7dd54a43bbfe88bbb6694b0a71 (patch) | |
| tree | 38617ef0008e34fcaa95a2c32ec721ced1bb1a4f /test/unit/kernel/EphemeralRelation.ml | |
| parent | 5a6af8a74895b548ed39649aef4a09fb53b4dbbc (diff) | |
| download | RNT-b2ff91614a7f1c7dd54a43bbfe88bbb6694b0a71.tar.gz RNT-b2ff91614a7f1c7dd54a43bbfe88bbb6694b0a71.zip | |
Formatting
Diffstat (limited to 'test/unit/kernel/EphemeralRelation.ml')
| -rw-r--r-- | test/unit/kernel/EphemeralRelation.ml | 8 |
1 files changed, 6 insertions, 2 deletions
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" ) |