diff options
Diffstat (limited to 'test/unit/kernel/EphemeralRelation.ml')
| -rw-r--r-- | test/unit/kernel/EphemeralRelation.ml | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/test/unit/kernel/EphemeralRelation.ml b/test/unit/kernel/EphemeralRelation.ml index 9426b9a..5c85d7f 100644 --- a/test/unit/kernel/EphemeralRelation.ml +++ b/test/unit/kernel/EphemeralRelation.ml @@ -69,16 +69,10 @@ let decides_membership () = check bool "a stranger is refused" false rejects let refuses_to_scan_without_end () = - match Protocols.Relation.require (endless ()) with - | Error condition -> fail (Concepts.Condition.to_string_hum condition) - | Ok relation -> ( - 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) - "undecidable-membership" ) - | Ok _ -> fail "an endless relation with no test decided membership" ) + Helpers.refuses "it fails as undecidable instead of scanning" "undecidable-membership" + (Result.bind + (Protocols.Relation.require (endless ())) + (fun relation -> Protocols.Relation.contains relation (member 9)) ) let describes_itself () = let described = |