Introduce solver td_simplified_ref.ml · goblint/analyzer@a1d437e

Triggered via pull request July 15, 2025 11:07

arkocal

synchronize #1751

td_simplified_ref

Status Success

Total duration 23m 7s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.94 MB	`sha256:bee7d04290c1bf377bce3f31905439260c372e80ff41180528337c1ef923d22f`
suite_result-ubuntu-22.04 Expired	2.91 MB	`sha256:8fddabddb78acd50a91d40b3b1ee9fef299e0103ed4a242615deb72342e34e1c`