Simplify return type of `FloatDomain` predicates · goblint/analyzer@74711c1

Triggered via pull request January 13, 2026 08:08

sim642

synchronize #1906

float-predicates

Status Success

Total duration 18m 25s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest Expired	2.98 MB	`sha256:8730980ee1e42f015bdc0318e57f27fec8acfb12d0d144bb647093cb7fac386d`
suite_result-ubuntu-latest Expired	3.01 MB	`sha256:475ded821fb1960aa677ae4509047eae2be658868590ae79acfda6c80577dfa0`