diff options
Diffstat (limited to 'test/unit/kernel/Branch.ml')
| -rw-r--r-- | test/unit/kernel/Branch.ml | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/test/unit/kernel/Branch.ml b/test/unit/kernel/Branch.ml index 10789cd..e229ed7 100644 --- a/test/unit/kernel/Branch.ml +++ b/test/unit/kernel/Branch.ml @@ -238,13 +238,8 @@ let a_denial_without_end_cannot_be_installed () = let root = fresh [] in with_toys root; let endless = K.EphemeralRelation.of_program title (toy_program "toys:toy" "endless") in - match - K.Scope.publish root ~branch:"master" ~home:library ~denials:["endless", Some endless] [] - with - | Ok () -> fail "a denial without end was installed" - | Error condition -> - check bool "the state holding it cannot be judged" true - (BatString.starts_with (C.Condition.to_string_hum condition) "unjudgeable-denial") + Helpers.refuses "the state holding it cannot be judged" "unjudgeable-denial" + (K.Scope.publish root ~branch:"master" ~home:library ~denials:["endless", Some endless] []) let a_denial_program_runs_once_per_judgement () = let root = fresh [] in |