Skip to content

feat: prove CNFA.{ofFSM, msbSet} #61

feat: prove CNFA.{ofFSM, msbSet}

feat: prove CNFA.{ofFSM, msbSet} #61

Triggered via pull request December 20, 2024 16:38
@ineolineol
synchronize #901
auto-ofFSM
Status Success
Total duration 58m 0s
Artifacts

performance.yml

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