Skip to content
locked

Generate flow-insensitive YAML witness invariants with ghosts for privatized variables #12233

Sign in to view logs

Generate flow-insensitive YAML witness invariants with ghosts for privatized variables

Generate flow-insensitive YAML witness invariants with ghosts for privatized variables #12233

Triggered via pull request November 29, 2024 12:12
@sim642sim642
synchronize #1394
yaml-witness-ghost
Status Success
Total duration 20m 32s
Artifacts 2

locked.yml

on: pull_request
Matrix: extraction
Matrix: gobview
Matrix: regression
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
suite_result-macos-13
2.7 MB
suite_result-ubuntu-22.04
2.69 MB