Skip to content
Run GOTO Transcoder (ESBMC)

Clarify documentation of can_dereference with write permissions #1048

Sign in to view logs

Clarify documentation of can_dereference with write permissions

Clarify documentation of can_dereference with write permissions #1048

Triggered via pull request October 20, 2025 09:36
@dawidl022dawidl022
opened #510
dawidl022:docs/can-dereference-has-write-permission
Status Success
Total duration 16m 30s
Artifacts –

goto-transcoder.yml

on: pull_request
Verify contracts with goto-transcoder
16m 27s
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in