Add _Float16 parsing support · goblint/analyzer@a738203

Triggered via push September 2, 2025 14:22

sim642

float16

Status Failure

Total duration 24m 34s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.29 MB	`sha256:32358c4cd7ea07e6192d3f8377c09e7aaf8aeec969cb5cacf60dd6d5c17f8f1d`
suite_result-ubuntu-22.04 Expired	2.94 MB	`sha256:3a8c1f289be5816dca69efe339ded31904f3bf9d03fc2df4ed18baa530a53110`