Skip to content
Run Examples

implement single return invariant (diamond shaped procedures) #319

Sign in to view logs

implement single return invariant (diamond shaped procedures)

implement single return invariant (diamond shaped procedures) #319

Triggered via pull request March 11, 2024 23:38
@l-kentl-kent
synchronize #178
return-statement
Status Success
Total duration 2m 24s
Artifacts –

run-examples.yml

on: pull_request
CompileAndTest
2m 7s
CompileAndTest
SystemTests
2m 15s
SystemTests
Fit to window
Zoom out
Zoom in