Skip to content
Kind2 CI

Fix bug that erroneously disallowed refinement type assumptions from referencing global constants #1438

Sign in to view logs

Fix bug that erroneously disallowed refinement type assumptions from referencing global constants

Fix bug that erroneously disallowed refinement type assumptions from referencing global constants #1438

Triggered via pull request May 8, 2024 15:17
@lorchroblorchrob
synchronize #1067
lorchrob:assumption-global-const-bug
Status Success
Total duration 10m 24s
Artifacts –

kind2-ci.yml

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