Unsound congruence domain arithmetic · goblint/analyzer@98977b1

Triggered via pull request February 24, 2025 10:56

jerhard

synchronize #1587

Status Failure

Total duration 5m 36s

Artifacts –

locked.yml

on: pull_request

Matrix: extraction

Matrix: gobview

Matrix: regression

3 errors and 2 warnings

Process completed with exit code 40.

Process completed with exit code 40.

Process completed with exit code 40.

No files were found with the provided path: _build/default/tests/suite_result/. No artifacts will be uploaded.

No files were found with the provided path: _build/default/tests/suite_result/. No artifacts will be uploaded.