# """, # REST_GRAMMAR, # semantic_predicates={LJUST_CROP_PREDICATE, EXTEND_CROP_PREDICATE}, # ) -LENGTH_UNDERLINE = parse_isla(""" +LENGTH_UNDERLINE = parse_isla( + """ forall <section-title> title="{<title-text> titletxt}\n{<underline> underline}" in start: ( (>= (str.len underline) (str.len titletxt)) and str.len(titletxt) > 0 ) -""") +""" +) DEF_LINK_TARGETS = parse_isla( """ (forall <internal_reference> ref="<presep>{<id> use_id}_<postsep>" in start: exists <labeled_paragraph> labeled_par_1=".. _{<id> def_id}:\n\n<paragraph>" in start:

LOGGER.debug( "%sRepairing tree '%s' with constraint '%s'", depth_indent(), tree, # constraint, - "TEMPORARILY DEACTIVATED" # TODO + "TEMPORARILY DEACTIVATED", # TODO ) constraint = set_auto_subst_and_eval(constraint, False) # 1. Instantiate all quantifiers. instantiated = self.instantiate_quantifiers(constraint)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-python@v1, wearerequired/lint-action@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.