Enforce subrange and refinement type restrictions on local constants #1439

Sign in to view logs

Triggered via pull request May 8, 2024 16:38

lorchrob

opened #1068

lorchrob:local-const-bug-fix

Status Success

Total duration 10m 31s

Artifacts –

kind2-ci.yml

on: pull_request

Matrix: kind2-build