Function test_goal_try_draft_with_sorry

tests/test_kernel_extra.py:165–168

(kernel)

def test_goal_try_draft_with_sorry(kernel):
    state = kernel.goal_create("Nat")
    res = state.try_draft("(sorry : Nat)")
    assert res.status in {"success", "invalidAction", "failure", "parseError"}