Partially support `imaxabs` for SV-COMP · goblint/analyzer@2f5b50f

Triggered via pull request October 16, 2024 13:54

sim642

synchronize #1519

imaxabs

Status Failure

Total duration 32m 15s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: gobview

Matrix: regression

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
suite_result-macos-13 Expired	2.71 MB
suite_result-ubuntu-22.04 Expired	2.68 MB