Build and Run Simulation

update formal flow and readme #64

Sign in to view logs

Triggered via pull request September 28, 2024 12:30

unlsycn

synchronize #27

formal

Status Success

Total duration 1m 8s

Artifacts –

main.yml

on: pull_request

Build Simulators

Run Formal Verification