Kind2 CI

Generalize bitvector invariant generation #1733

Sign in to view logs

Triggered via pull request May 21, 2025 22:08

lorchrob

synchronize #1160

lorchrob:bv-backend-inv-gen

Status Success

Total duration 8m 4s

Artifacts –

kind2-ci.yml

on: pull_request

Matrix: kind2-build