Store bounds of free constant arrays #1540

Sign in to view logs

Triggered via pull request August 21, 2024 21:27

opened #1090

daniel-larraz:bounds-free-const

Status Success

Total duration 12m 3s

Artifacts –

kind2-ci.yml

on: pull_request

Matrix: kind2-build