Skip to content
Kind2 CI

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

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 #1448

Triggered via pull request May 10, 2024 20:27
@lorchroblorchrob
synchronize #1063
lorchrob:ref-type-locals
Status Success
Total duration 10m 58s
Artifacts –

kind2-ci.yml

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