diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 03:17:49 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 03:17:49 -0300 |
| commit | 2c500b00e821c11aa9d5c86985e6adc2b59572a9 (patch) | |
| tree | ade8f8018b40294649d9105a9b85dd560bf3b49e /test/unit/kernel/Branch.ml | |
| parent | 55174a28581c33c4b6d91066086a2ee7b5c663ea (diff) | |
| download | RNT-2c500b00e821c11aa9d5c86985e6adc2b59572a9.tar.gz RNT-2c500b00e821c11aa9d5c86985e6adc2b59572a9.zip | |
share the condition check and employee fixture across tests
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 |
