CongruenceDomain: Implement sub idependently of add. · goblint/analyzer@829b2bd

Triggered via push February 24, 2025 13:52

jerhard

Status Success

Total duration 26m 7s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.82 MB	`sha256:6ac6f16f943e77e8efbaba3b87e3700c69d904dc8af61920ede5a816227f1804`
suite_result-ubuntu-22.04 Expired	2.8 MB	`sha256:5bfffb4cdf94c434c4884916a69980b8cb6e459840ba014052652176e256f407`