Skip to content
Kind2 CI

Support forwards and backwards variable references in local variable refinement type predicates #1429

Sign in to view logs

Support forwards and backwards variable references in local variable refinement type predicates

Support forwards and backwards variable references in local variable refinement type predicates #1429

Triggered via pull request April 26, 2024 16:04
@lorchroblorchrob
opened #1063
lorchrob:ref-type-locals
Status Success
Total duration 9m 50s
Artifacts –

kind2-ci.yml

on: pull_request
Matrix: kind2-build
Fit to window
Zoom out
Zoom in