Skip to content
Tutorials

[fix] Postpone type checking of invariants, axioms, init-conditions and pure functions #1441

Sign in to view logs

[fix] Postpone type checking of invariants, axioms, init-conditions and pure functions

[fix] Postpone type checking of invariants, axioms, init-conditions and pure functions #1441

Triggered via pull request May 21, 2025 23:48
@AD1024AD1024
synchronize #865
AD1024:pverifier-compiler-fix
Status Success
Total duration 13m 29s
Artifacts –

tutorials.yml

on: pull_request
Build-MacOS
13m 26s
Build-MacOS
Fit to window
Zoom out
Zoom in