Introduce solver td_simplified_ref.ml · goblint/analyzer@6196752

Triggered via pull request May 26, 2025 11:32

arkocal

synchronize #1751

td_simplified_ref

Status Success

Total duration 25m 41s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.9 MB	`sha256:c94be67f84cf3c4fce14bc929b6f4e15e895e57bffa47836d9d51a07f824acfc`
suite_result-ubuntu-22.04 Expired	2.89 MB	`sha256:cea439aed79911d4efe99134649cf63322e7646eff7814007bc4b8169232cc92`