Skip to content

feat: prove CNFA.{determinize, neg} #49

feat: prove CNFA.{determinize, neg}

feat: prove CNFA.{determinize, neg} #49

Triggered via pull request December 17, 2024 15:40
@ineolineol
synchronize #897
auto-det
Status Success
Total duration 57m 41s
Artifacts

performance.yml

on: pull_request
tools, scaling, and auto-generated stmts
57m 33s
tools, scaling, and auto-generated stmts
Fit to window
Zoom out
Zoom in