Syntactic checks

Verilog SVA: indexed `nexttime` and `s_nexttime` #861

Sign in to view logs

Triggered via pull request June 5, 2024 02:08

kroening

synchronize #533

indexed_nexttime

Status Success

Total duration 1m 5s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format