Skip to content
Test

Add runs without unsupported dialect to CI #5

Sign in to view logs

Add runs without unsupported dialect to CI

Add runs without unsupported dialect to CI #5

Run SV-Comp test suite (18, 22.04, hl, false)

Run SV-Comp test suite (18, 22.04, hl, false)
succeeded May 28, 2024 in 31m 30s