Skip to content
Makefile CI

Implement a decision procedure for memory reads/write via omega #725

Sign in to view logs

Implement a decision procedure for memory reads/write via omega

Implement a decision procedure for memory reads/write via omega #725

Triggered via pull request August 16, 2024 19:59
@bollubollu
synchronize #56
bollu:experiment-memory-aliasing-via-omega
Status Failure
Total duration 3m 17s
Artifacts –

makefile.yml

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

Annotations

3 errors
build (ubuntu-latest)
Process completed with exit code 2.
build (macos-14)
The job was canceled because "ubuntu-latest" failed.
build (macos-14)
The operation was canceled.