Externally supplied match evidence

Family: regex. Status: Implemented.

The date pattern with a successful trace supplied by the frozen test trace provider.

Scope: External provider evidence only. The renderer does not execute the regex or infer failure for unvisited paths.

Preview

text/plain

@startregex
title ISO date with optional time
(?<year>\d{4})-(?<month>0[1-9]|1[0-2])-(?<day>\d{2})(?:T\d{2}:\d{2})?(?!\d)
@endregex