Clarification of @"..." expansion in unsatisfiable rules in the verifier


The section on unsatisfiable rules in the verifier ( should mention that @"..." are expanded before everything else. That is, an unsatisfiable rule will not be unsatisfiable because an anchor doesn't match. (It might make sense to also say in the "anchor specifiers" section that @"..." expansion is done in a preprocessor step, before anything else.)

pludemann created this task.Via WebFeb 17 2017, 11:24 AM
pludemann added a subscriber: pludemann.
Herald added a subscriber: Core Team. · View Herald TranscriptVia HeraldFeb 17 2017, 11:24 AM
fromberger triaged this task as "Low" priority.Via WebApr 20 2017, 2:54 PM
fromberger added a project: Verifier.
fromberger added a subscriber: fromberger.

Add Comment